Disable Google Maps JavaScript module.

[philipp/winterrodeln/mediawiki_extensions/wrmap.git] / openlayers / wrmap.cfg

diff --git a/openlayers/wrmap.cfg b/openlayers/wrmap.cfg
index 3e4441af7e9b2b3d311979de268f2af002ed83dd..e1d41407afbe53eaa0b753896b5d1ce59ec35b2a 100644 (file)
--- a/openlayers/wrmap.cfg
+++ b/openlayers/wrmap.cfg
@@ -1,8 +1,8 @@
 # This is the openlayers 2.13.1 configuration file for compiling a "custom build" for wrmap.
 # Copy the configuration file in the build directory of openlayers and run 
-# build$ ./build.py -c closure wrweb OpenLayers.min.js
+# build$ ./build.py -c closure wrmap OpenLayers.min.js
 # and
-# build$ ./buildUncompressed.py wrweb OpenLayers.js
+# build$ ./buildUncompressed.py wrmap OpenLayers.js
 #
 # This file is not needed at runtime.
 
@@ -23,9 +23,11 @@ OpenLayers/Format/JSON.js
 OpenLayers/Icon.js
 OpenLayers/Lang/de.js
 OpenLayers/Lang/en.js
+OpenLayers/Layer/Bing.js
 OpenLayers/Layer/Google/v3.js
 OpenLayers/Layer/Image.js
 OpenLayers/Layer/Markers.js
+OpenLayers/Layer/OSM.js
 OpenLayers/Layer/Vector.js
 OpenLayers/LonLat.js
 OpenLayers/Map.js