Fixed whitespace.
authorphilipp <philipp@7aebc617-e5e2-0310-91dc-80fb5f6d2477>
Sun, 16 Dec 2012 13:29:12 +0000 (13:29 +0000)
committerphilipp <philipp@7aebc617-e5e2-0310-91dc-80fb5f6d2477>
Sun, 16 Dec 2012 13:29:12 +0000 (13:29 +0000)
git-svn-id: http://www.winterrodeln.org/svn/servermediawiki/mediawiki_extensions/wrmap/trunk@1240 7aebc617-e5e2-0310-91dc-80fb5f6d2477

wrmap.php

index a804a6151a4cc1db0f19e713589fd179cbc3e1ed..95e9425f26c44a924a657c8ad9045c9fe5bba8cf 100644 (file)
--- a/wrmap.php
+++ b/wrmap.php
@@ -13,23 +13,23 @@ $wgExtensionCredits['parserhook'][] = array(
 
 $wgResourceModules['ext.wrmap'] = array(
                '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' ),
-        // 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__ ),
-
-        // ... 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',
+               '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' ),
+
+               // 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__ ),
+
+               // ... 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'
 );