Translate extension for MediaWiki
Loading...
Searching...
No Matches
ImpossiblePageMove.php
1
<?php
2
declare( strict_types = 1 );
3
4
namespace
MediaWiki\Extension\Translate\PageTranslation;
5
6
use Exception;
7
use SplObjectStorage;
8
15
class
ImpossiblePageMove
extends
Exception {
16
private
SplObjectStorage $blockers;
17
18
public
function
__construct( SplObjectStorage $blockers ) {
19
parent::__construct();
20
$this->blockers = $blockers;
21
}
22
23
public
function
getBlockers(): SplObjectStorage {
24
return
$this->blockers;
25
}
26
}
MediaWiki\Extension\Translate\PageTranslation\ImpossiblePageMove
Exception thrown when a translatable page move is not possible.
Definition
ImpossiblePageMove.php:15
src
PageTranslation
ImpossiblePageMove.php
Generated by
1.10.0