wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-11-14 11:17:15 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Scribunto/.phan
History
Reedy f386ff68d5 Remove PHP entry point 
Move NS constants to seperate file for static analysis

Bug: T140007
Change-Id: I525c6e5b1c8e934d179e330c89f3f29cce335bd6
2019-06-21 00:02:08 +00:00
..
config.php Remove PHP entry point 2019-06-21 00:02:08 +00:00