wikimedia/mediawiki-extensions-InputBox
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox synced 2024-09-23 18:29:24 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-InputBox/includes
History
Umherirrender 4829d17708 build: Remove unneeded phan suppression 
Change-Id: Iafff45a2693e201cbb81c59a6453f6bbea709f7a
2021-11-04 19:50:25 +01:00
..
InputBox.php Update PHP coding style 2021-10-16 20:10:22 +00:00
InputBoxHooks.php build: Remove unneeded phan suppression 2021-11-04 19:50:25 +01:00