mediawiki-extensions-RSS/.phan/config.php
Umherirrender 0d0229dfcb Add phan
Change-Id: Iddc55eb285b56996e865ac0561526802c80948a6
2019-04-25 20:36:55 +02:00

4 lines
93 B
PHP

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