wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-11-14 19:30:57 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Scribunto/includes/common
History
Ladsgroup 9bedee0604 Revert "Suppress wrong phan errors" 
This reverts commit 0cfb5422dc.

Reason for revert: Not needed anymore and actually causing phan to fail on master

Change-Id: I2705489f9247e0d6741aaa04fe9c9800bcbda914
2019-07-28 14:14:41 +00:00
..
ApiScribuntoConsole.php Revert "Suppress wrong phan errors" 2019-07-28 14:14:41 +00:00
Base.php Use PHP 7's ?? syntax 2019-03-20 21:16:08 -07:00
Common.php Upgrade to newer phan 2019-03-20 21:19:37 -07:00
Hooks.php Revert "Suppress wrong phan errors" 2019-07-28 14:14:41 +00:00
ScribuntoContent.php Call method getText() instead of getNativeData() 2019-03-27 11:02:34 -04:00
ScribuntoContentHandler.php