mediawiki-extensions-Visual.../.phan/config.php
Umherirrender e1442aa343 Add phan
Change-Id: I7352036536c1c8415b681f48f3ee0dcec315c035
2019-05-31 14:48:22 +00:00

4 lines
93 B
PHP

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