Changed (only) whitespace.
authorphilipp <philipp@7aebc617-e5e2-0310-91dc-80fb5f6d2477>
Wed, 31 Jul 2013 14:36:12 +0000 (14:36 +0000)
committerphilipp <philipp@7aebc617-e5e2-0310-91dc-80fb5f6d2477>
Wed, 31 Jul 2013 14:36:12 +0000 (14:36 +0000)
git-svn-id: http://www.winterrodeln.org/svn/servermediawiki/mediawiki_extensions/wrmap/trunk@1494 7aebc617-e5e2-0310-91dc-80fb5f6d2477

wrmap.php

index 34225eb9ca48712212f3a54328955582489e7172..5b8553deffe2be419205283ad649cc86f595737c 100644 (file)
--- a/wrmap.php
+++ b/wrmap.php
@@ -12,26 +12,26 @@ $wgExtensionCredits['parserhook'][] = array(
 
 
 $wgResourceModules['ext.wrmap'] = array(
 
 
 $wgResourceModules['ext.wrmap'] = array(
-               'scripts' => array('openlayers/OpenLayers.js', 'wrmap.js'),
-               'styles' => array('openlayers/theme/default/style.css', 'openlayers/theme/default/google.css'),
+       'scripts' => array('openlayers/OpenLayers.js', 'wrmap.js'),
+       'styles' => array('openlayers/theme/default/style.css', 'openlayers/theme/default/google.css'),
 
 
-               // When your module is loaded, these messages will be available through mw.msg()
-               //'messages' => array( 'myextension-hello-world', 'myextension-goodbye-world' ),
+       // When your module is loaded, these messages will be available through mw.msg()
+       //'messages' => array( 'myextension-hello-world', 'myextension-goodbye-world' ),
 
 
-               // If your scripts need code from other modules, list their identifiers as dependencies
-               // and ResourceLoader will make sure they're loaded before you.
-               // You don't need to manually list 'mediawiki' or 'jquery', which are always loaded.
-               //'dependencies' => array( 'jquery.ui.datepicker' ),
+       // If your scripts need code from other modules, list their identifiers as dependencies
+       // and ResourceLoader will make sure they're loaded before you.
+       // You don't need to manually list 'mediawiki' or 'jquery', which are always loaded.
+       //'dependencies' => array( 'jquery.ui.datepicker' ),
 
 
-               // You need to declare the base path of the file paths in 'scripts' and 'styles'
-               'localBasePath' => dirname( __FILE__ ),
+       // You need to declare the base path of the file paths in 'scripts' and 'styles'
+       'localBasePath' => dirname( __FILE__ ),
 
 
-               // ... and the base from the browser as well. For extensions this is made easy,
-               // you can use the 'remoteExtPath' property to declare it relative to where the wiki
-               // has $wgExtensionAssetsPath configured:
-               'remoteExtPath' => 'wrmap',
+       // ... and the base from the browser as well. For extensions this is made easy,
+       // you can use the 'remoteExtPath' property to declare it relative to where the wiki
+       // has $wgExtensionAssetsPath configured:
+       'remoteExtPath' => 'wrmap',
 
 
-               'position' => 'top'
+       'position' => 'top'
 );
 
 
 );