This website requires JavaScript.
Explore
Help
Register
Sign In
wikimedia
/
mediawiki-extensions-PdfHandler
Watch
1
Star
0
Fork
You've already forked mediawiki-extensions-PdfHandler
0
mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/PdfHandler
synced
2024-12-04 20:59:32 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
6e7d061d7e
mediawiki-extensions-PdfHan...
/
.phan
/
config.php
4 lines
93 B
PHP
Raw
Normal View
History
Unescape
Escape
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