http://www.mediawiki.org/wiki/Special:Code/MediaWiki/74086
Revision: 74086
Author: tparscal
Date: 2010-10-01 19:14:33 +0000 (Fri, 01 Oct 2010)
Log Message:
-----------
Fixed indentation and bracing.
Modified Paths:
--------------
trunk/extensions/Vector/Vector.hooks.php
trunk/extensions/WikiEditor/WikiEditor.hooks.php
Modified: trunk/extensions/Vector/Vector.hooks.php
===================================================================
--- trunk/extensions/Vector/Vector.hooks.php 2010-10-01 18:58:07 UTC (rev
74085)
+++ trunk/extensions/Vector/Vector.hooks.php 2010-10-01 19:14:33 UTC (rev
74086)
@@ -174,8 +174,9 @@
isset( $feature['preferences'] ) &&
( !isset( $wgVectorFeatures[$name] ) ||
$wgVectorFeatures[$name]['user'] )
) {
- foreach ( $feature['preferences'] as $key =>
$options )
- $defaultPreferences[$key] = $options;
+ foreach ( $feature['preferences'] as $key =>
$options ) {
+ $defaultPreferences[$key] = $options;
+ }
}
}
return true;
Modified: trunk/extensions/WikiEditor/WikiEditor.hooks.php
===================================================================
--- trunk/extensions/WikiEditor/WikiEditor.hooks.php 2010-10-01 18:58:07 UTC
(rev 74085)
+++ trunk/extensions/WikiEditor/WikiEditor.hooks.php 2010-10-01 19:14:33 UTC
(rev 74086)
@@ -649,8 +649,9 @@
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;
_______________________________________________
MediaWiki-CVS mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-cvs
