MediaWiki:MapMenu.js: Difference between revisions