mediawiki-extensions-Editcount/.phan/config.php
zoranzoki21 9abed275c3 Add phan
Change-Id: I7329f96fb36be043979a82b98d3bf2937a6c1f0e
2022-03-05 15:11:43 +01:00

4 lines
93 B
PHP

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