Index of /mediawiki/extensions/Maps
Name Last modified Size Description
![[PARENTDIR]](/__ovh_icons/back.gif)
Parent Directory -
![[ ]](/__ovh_icons/unknown.gif)
COPYING 2016-01-13 16:47 18K
Maps.hooks.php 2016-01-13 16:47 5.4K
Maps.i18n.alias.php 2016-01-13 16:47 2.7K
Maps.i18n.magic.php 2016-01-13 16:47 13K
Maps.i18n.namespaces..> 2016-01-13 16:47 367
Maps.i18n.php 2016-01-13 16:47 575K
Maps.php 2016-01-13 16:47 7.0K
Maps.resources.php 2016-01-13 16:47 1.9K
Maps_Settings.php 2016-01-13 16:47 11K
README.md 2016-01-13 16:47 3.7K
![[DIR]](/__ovh_icons/folder.gif)
build/ 2016-01-13 16:47 -
composer.json 2016-01-13 16:47 1.1K
docs/ 2016-01-13 16:47 -
includes/ 2016-01-13 16:47 -
phpunit.xml.dist 2016-01-13 16:47 831
schema/ 2016-01-13 16:47 -
src/ 2016-01-13 16:47 -
tests/ 2016-01-13 16:47 -