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 indentation and bracing.

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

5
WikiEditor.hooks.php
View file

@ -649,8 +649,9 @@ class WikiEditorHooks {
isset( $feature['preferences'] ) &&
( !isset( $wgWikiEditorFeatures[$name] ) || $wgWikiEditorFeatures[$name]['user'] )
) {
foreach ( $feature['preferences'] as $key => $options )
$defaultPreferences[$key] = $options;
foreach ( $feature['preferences'] as $key => $options ) {
$defaultPreferences[$key] = $options;
}
}
}
return true;