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: Sat, May 16, 16:50 (11 h, 17 m)
Storage Engine: local-disk
Storage Format: Raw Data
Storage Handle: b7/99/cb44c1d3e2653da35fbcaeaae43d
Default Alt Text: UserNotSandboxedException.php (252 B)

Event Timeline