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

Merge "Declared missing var, fixed php doc & spelling, spacing"

Browse source
This commit is contained in:
jenkins-bot 2014-09-30 01:06:06 +00:00 committed by Gerrit Code Review
parent 91bc35e402 0636505d61
commit f3605dd43d
1 changed files with 8 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
WikiEditor.hooks.php
View file

@ -155,8 +155,8 @@ class WikiEditorHooks {
*
* Adds the modules to the edit form
*
* @param $editPage EditPage the current EditPage object.
* @param $output OutputPage object.
* @param EditPage $editPage the current EditPage object.
* @param OutputPage $outputPage object.
* @return bool
*/
public static function editPageShowEditFormInitial( $editPage, $outputPage ) {
@ -202,10 +202,10 @@ class WikiEditorHooks {
/**
* GetPreferences hook
*
* Adds WikiEditor-releated items to the preferences
* Adds WikiEditor-related items to the preferences
*
* @param $user User current user
* @param $defaultPreferences array list of default user preference controls
* @param User $user current user
* @param array $defaultPreferences list of default user preference controls
* @return bool
*/
public static function getPreferences( $user, &$defaultPreferences ) {
@ -285,6 +285,7 @@ class WikiEditorHooks {
'img_framed',
'img_frameless',
);
$magicWords = array();
foreach ( $requiredMagicWords as $name ) {
$magicWords[$name] = MagicWord::get( $name )->getSynonym( 0 );
}