UserNotSandboxedException.php
No OneTemporary
Actions

Size

252 B

Referenced Files

None

Subscribers

None

UserNotSandboxedException.php
View Options

	<?php
	declare( strict_types = 1 );

	namespace MediaWiki\Extension\Translate\TranslatorSandbox;

	use Exception;

	class UserNotSandboxedException extends Exception {
	public function __construct() {
	parent::__construct( 'User is not sandboxed' );
	}
	}

File Metadata

Mime Type: text/x-php
Expires: Tue, Aug 18, 18:36 (3 w, 22 h ago)
Storage Engine: local-disk
Storage Format: Raw Data
Storage Handle: f9/4f/4c9c37500dd4e7ca48d9314373f3
Default Alt Text: UserNotSandboxedException.php (252 B)

Event Timeline