wikimedia/mediawiki-extensions-InputBox
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox synced 2024-12-03 19:26:09 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-InputBox/includes
History
Umherirrender 30b71be93c build: Upgrade mediawiki/mediawiki-codesniffer to v43.0.0 
Change-Id: I4307bfb8b32e8bbca9565b255758f8e68941fc6c
2024-03-11 19:24:57 +01:00
..
InputBox.php build: Upgrade mediawiki/mediawiki-codesniffer to v43.0.0 2024-03-11 19:24:57 +01:00
InputBoxHooks.php build: Fix doc type on MediaWikiPerformActionHook 2024-01-05 21:04:05 +01:00