* https://github.com/search?utf8=%E2%9C%93&q=%40wikimedia+logintouse&type=Code&ref=searchresults
Change-Id: I5bdef4b518cd66a2b195aeb443e66136a06f816a
throw new PermissionsError( $permission );
}
- /**
- * Produce the stock "please login to use the wiki" page
- *
- * @deprecated since 1.19; throw the exception directly
- */
- public function loginToUse() {
- wfDeprecated( __METHOD__, '1.19' );
- throw new PermissionsError( 'read' );
- }
-
/**
* Format a list of error messages
*