Home
last modified time | relevance | path

Searched refs:BatcheditException (Results 1 – 3 of 3) sorted by relevance

/plugin/batchedit/
Drequest.php124 throw new BatcheditException('err_invreq');
130 throw new BatcheditException('err_invreq');
141 throw new BatcheditException('err_invreq');
179 throw new BatcheditException('err_invreq');
211 throw new BatcheditException('err_invreq');
217 throw new BatcheditException('err_nosearch');
223 throw new BatcheditException('err_invregexp');
248 throw new BatcheditException('err_invreq');
272 throw new BatcheditException('err_invreq');
289 throw new BatcheditException('err_invreq');
Dengine.php12 class BatcheditException extends Exception { class
33 class BatcheditEmptyNamespaceException extends BatcheditException {
43 class BatcheditPageApplyException extends BatcheditException {
269 throw new BatcheditException('err_pregfailed');
660 if ($warning instanceof BatcheditException) {
1124 throw new BatcheditException('err_idxaccess');
1132 throw new BatcheditException('err_emptyidx');
Dadmin.php49 catch (BatcheditException $error) {