wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-09-24 10:50:17 +00:00
Code Issues Packages Projects Releases Wiki Activity

Remove assignment in conditional

Browse source 
Fixup method parameter documentation
This commit is contained in:
Sam Reed 2011-01-23 09:46:07 +00:00
parent d69e357370
commit 8935a98313
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
WikiEditor.hooks.php
View file

@ -208,8 +208,8 @@ class WikiEditorHooks {
*
* Adds WikiEditor-releated items to the preferences
*
* @param $out User current user
* @param $skin array list of default user preference controls
* @param $user User current user
* @param $defaultPreferences array list of default user preference controls
*/
public static function getPreferences( $user, &$defaultPreferences ) {
global $wgWikiEditorFeatures;