mediawiki-extensions-TextEx.../.phan/config.php
Umherirrender 2e76760c2c Add phan
Change-Id: I2b76d0689ac6a79d5c67284ddccad49f34e05edb
2019-04-27 21:23:26 +02:00

4 lines
93 B
PHP

<?php
return require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config.php';