wikimedia/mediawiki-extensions-PdfHandler
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/PdfHandler synced 2024-12-04 04:39:02 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-PdfHan.../.phan/config.php

4 lines
93 B
PHP
Raw Normal View History

Upgrade to newer phan Bug: T216935 Change-Id: I31b3dd55ffe1d6d5532d25081ac0b2c1ce467237
2019-03-17 05:17:42 +00:00
<?php
build: Disable phan option scalar_implicit_cast and make pass Change-Id: I30c11acd17334f292c7a83dba49cf59d182728f3
2021-09-26 11:45:58 +00:00
return require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config.php';
Reference in a new issue Copy permalink