Updated mediawiki/extensions
Project: mediawiki/extensions/Maps  8ebab04fadb3236681556689d370c89af8ab92c6

Fix "allowcoordinates" + Add comments for grep

Replacing "directional" by "allowcoordinates" in Maps_Finddestination.php

Change-Id: Ia93b0f9ac99a4884dae96309d448ce4a0327edb0