mediawiki-extensions-Templa.../.phan/config.php
Umherirrender 2058003ba0 Add phan
Change-Id: I59968d2791675628c52debfe1ba285f321da53c1
2019-04-27 21:17:28 +02:00

4 lines
93 B
PHP

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