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

* Use Html::linkedStyle() to load styles

Browse source 
* Simplify a bit the code to detect Special:Preferences
This commit is contained in:
Alexandre Emsenhuber 2010-04-06 20:05:16 +00:00
parent ae96fedb4a
commit dc06d8be5d
1 changed files with 3 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
Gadgets.php
View file

@ -162,9 +162,8 @@ function wfGadgetsBeforePageDisplay( &$out ) {
if ( !$wgUser->isLoggedIn() ) return true;
//disable all gadgets on Special:Preferences
if ( $out->getTitle()->getNamespace() == NS_SPECIAL ) {
$name = SpecialPage::resolveAlias( $out->getTitle()->getText() );
if ( $name == "Preferences" ) return true;
if ( $out->getTitle()->isSpecial( 'Preferences' ) ) {
return true;
}
$gadgets = wfLoadGadgets();
@ -202,7 +201,7 @@ function wfApplyGadgetCode( $code, &$out, &$done ) {
}
else if ( preg_match( '/\.css/', $codePage ) ) {
$u = $t->getLocalURL( 'action=raw&ctype=text/css' );
$out->addScript( '<style type="text/css">/*<![CDATA[*/ @import "' . $u . '"; /*]]>*/</style>' . "\n" );
$out->addScript( Html::linkedStyle( $u ) );
}
}
}