Page and map scrolling work both now satisfying.
[philipp/winterrodeln/mediawiki_extensions/wrmap.git] / extension.json
2021-01-11 Philipp SpitzerRemove "dead" code that intended to support the mobile...
2021-01-11 Philipp SpitzerAdd mobile target.
2018-10-23 Philipp SpitzerImplement simple popup.
2018-05-23 Philipp SpitzerRemove absolute URLs from extension.json.
2018-05-22 Philipp SpitzerAdd OpenLayers 4.6.5 support.
2018-05-22 Philipp SpitzerRemove old openlayers.
2018-05-22 Philipp SpitzerBump version number.
2017-01-23 philippChanged version to 3.4.2.
2016-11-29 philippChanged version to 3.4.0.
2016-11-29 philippReplaced wrmap.php with extension.json.
2016-11-29 philippAdded extension.json created by convertExtensionToRegis...