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

$wgUser -> $user. It's confusing to say the former unless you're using the global.

Browse source
This commit is contained in:
Chad Horohoe 2009-05-07 20:18:15 +00:00
parent 2d7a5477d4
commit 1c23bebc10
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

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