wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-28 09:10:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix compat with PHP 5.3: third parameter is passed by value and not by ref (was throwing E_WARNING)

Browse source
This commit is contained in:
Alexandre Emsenhuber 2009-03-10 17:06:04 +00:00
parent 021c6c122e
commit dfa01adeb9
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Gadgets.php
View file

@ -41,7 +41,7 @@ $wgAutoloadClasses['SpecialGadgets'] = $dir . 'SpecialGadgets.php';
$wgSpecialPages['Gadgets'] = 'SpecialGadgets'; $wgSpecialPages['Gadgets'] = 'SpecialGadgets';
$wgSpecialPageGroups['Gadgets'] = 'wiki'; $wgSpecialPageGroups['Gadgets'] = 'wiki';
function wfGadgetsArticleSaveComplete( &$article, &$wgUser, &$text ) { function wfGadgetsArticleSaveComplete( &$article, &$wgUser, $text ) {
//update cache if MediaWiki:Gadgets-definition was edited //update cache if MediaWiki:Gadgets-definition was edited
$title = $article->mTitle; $title = $article->mTitle;
if( $title->getNamespace() == NS_MEDIAWIKI && $title->getText() == 'Gadgets-definition' ) { if( $title->getNamespace() == NS_MEDIAWIKI && $title->getText() == 'Gadgets-definition' ) {