wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-09-23 10:22:54 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Scribunto/.phan
History
Umherirrender f79457d27b build: Remove suppression of PhanUndeclaredProperty for Parser property 
Follow-Up: I701a27459704839f9f996a171b6982ed17cdd00b
Change-Id: I23523d45efd8c1e6707d4fb2e3cae981d07f139a
2024-04-23 02:06:26 +00:00
..
config.php build: Remove suppression of PhanUndeclaredProperty for Parser property 2024-04-23 02:06:26 +00:00