mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/SyntaxHighlight_GeSHi
synced 2024-12-18 17:22:43 +00:00
1755781a3c
Already disabled by default in mediawiki-phan-config 0.3.0. Change-Id: I2ad9dbefd6c167429100070b834fcbdbb216008f
4 lines
96 B
PHP
4 lines
96 B
PHP
<?php
|
|
|
|
return require __DIR__ . '/../../vendor/mediawiki/mediawiki-phan-config/src/config.php';
|