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

Fixed copy-paste remnants, specifically the use of the name Vector instead of WikiEditor.

Browse source
This commit is contained in:
Trevor Parscal 2010-10-01 18:15:10 +00:00
parent bb0bf5d772
commit 00f4af97cd
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
WikiEditor.hooks.php
View file

@ -1,6 +1,6 @@
<?php <?php
/** /**
* Hooks for Vector extension * Hooks for WikiEditor extension
* *
* @file * @file
* @ingroup Extensions * @ingroup Extensions
@ -636,7 +636,7 @@ class WikiEditorHooks {
/** /**
* GetPreferences hook * GetPreferences hook
* *
* Adds Vector-releated items to the preferences * Adds WikiEditor-releated items to the preferences
* *
* @param $out User current user * @param $out User current user
* @param $skin array list of default user preference controls * @param $skin array list of default user preference controls
@ -659,7 +659,7 @@ class WikiEditorHooks {
/** /**
* MakeGlobalVariablesScript hook * MakeGlobalVariablesScript hook
* *
* Adds enabled/disabled switches for Vector modules * Adds enabled/disabled switches for WikiEditor modules
*/ */
public static function makeGlobalVariablesScript( &$vars ) { public static function makeGlobalVariablesScript( &$vars ) {
global $wgWikiEditorFeatures; global $wgWikiEditorFeatures;