wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-11-15 03:35:29 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Scribunto/includes
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
..
common Revert "Suppress wrong phan errors" 2019-07-28 14:14:41 +00:00
engines Use "vary-revision-sha1" over "vary-revision" in getContentInternal() 2019-07-18 01:48:12 +00:00