Florianschmidtwelzow has submitted this change and it was merged. Change subject: Throw PermissionsError exception directly ......................................................................
Throw PermissionsError exception directly Change-Id: I7336792a26e7ea6e6a83ccd76ab8a9d537f6f149 --- M ImportUsers_body.php 1 file changed, 1 insertion(+), 2 deletions(-) Approvals: Florianschmidtwelzow: Verified; Looks good to me, approved diff --git a/ImportUsers_body.php b/ImportUsers_body.php index 16b6d5c..e7adb40 100644 --- a/ImportUsers_body.php +++ b/ImportUsers_body.php @@ -24,8 +24,7 @@ global $wgOut, $wgUser; if( !$wgUser->isAllowed( 'import_users' ) ) { - $wgOut->permissionRequired( 'import_users' ); - return; + throw new PermissionsError( 'import_users' ); } $this->setHeaders(); -- To view, visit https://gerrit.wikimedia.org/r/261932 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I7336792a26e7ea6e6a83ccd76ab8a9d537f6f149 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/ImportUsers Gerrit-Branch: master Gerrit-Owner: Reedy <re...@wikimedia.org> Gerrit-Reviewer: Florianschmidtwelzow <florian.schmidt.stargatewis...@gmail.com> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits