| Index: trunk/extensions/Gadgets/Gadgets.php |
| — | — | @@ -38,7 +38,7 @@ |
| 39 | 39 | $wgSpecialPages['Gadgets'] = 'SpecialGadgets'; |
| 40 | 40 | $wgSpecialPageGroups['Gadgets'] = 'wiki'; |
| 41 | 41 | |
| 42 | | -function wfGadgetsArticleSaveComplete( &$article, &$wgUser, $text ) { |
| | 42 | +function wfGadgetsArticleSaveComplete( &$article, &$user, $text ) { |
| 43 | 43 | //update cache if MediaWiki:Gadgets-definition was edited |
| 44 | 44 | $title = $article->mTitle; |
| 45 | 45 | if( $title->getNamespace() == NS_MEDIAWIKI && $title->getText() == 'Gadgets-definition' ) { |