mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/TextExtracts
synced 2024-11-11 17:00:55 +00:00
2e76760c2c
Change-Id: I2b76d0689ac6a79d5c67284ddccad49f34e05edb
4 lines
93 B
PHP
4 lines
93 B
PHP
<?php
|
|
|
|
return require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config.php';
|