there is now a patch for this too, in my repo

diff --git a/doc/todo/custom_location_for_openlayers.mdwn b/doc/todo/custom_location_for_openlayers.mdwn
index 0d125e187f69275b672e9bb1a12bd1dbee97a9c7..ac9b40cf53980f976eec9e8622358d8ea91739e6 100644 (file)
--- a/doc/todo/custom_location_for_openlayers.mdwn
+++ b/doc/todo/custom_location_for_openlayers.mdwn
@@ -4,3 +4,7 @@ In the [[plugins/osm]], we use an absolute URL to download the OpenLayers.js scr
  2. if we want the map to work offline, we need to load the js locally
 
 For those reasons, I think the location of that script should be customizable. --[[anarcat]]
+
+[[!template  id=gitbranch branch=anarcat/master author="[[anarcat]]"]]
+
+There is now a [[patch]] for this, thanks to Genevieve, available in my master branch.