wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-15 03:23:51 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix for bug 22929: disable gadgets on Special:Userlogin

Browse source
This commit is contained in:
Daniel Kinzler 2010-04-06 21:00:39 +00:00
parent dc06d8be5d
commit 1ff985a53e
1 changed files with 9 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
Gadgets.php
View file

@ -161,8 +161,15 @@ function wfGadgetsBeforePageDisplay( &$out ) {
global $wgUser;
if ( !$wgUser->isLoggedIn() ) return true;
//disable all gadgets on Special:Preferences
if ( $out->getTitle()->isSpecial( 'Preferences' ) ) {
//disable all gadgets on critical special pages
//NOTE: $out->isUserJsAllowed() is tempting, but always fals if $wgAllowUserJs is false.
// That would disable gadgets on wikis without user JS. Introducing $out->isJsAllowed()
// may work, but should that really apply also to MediaWiki:common.js? Even on the preference page?
// See bug 22929 for discussion.
$title = $out->getTitle();
if ( $title->isSpecial( 'Preferences' )
|| $title->isSpecial( 'Resetpass' )
|| $title->isSpecial( 'Userlogin' ) ) {
return true;
}