wikimedia/mediawiki-extensions-InputBox
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox synced 2024-11-23 14:46:44 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-InputBox/includes
History
Umherirrender d296787dfe Use namespaced ExtensionRegistry class 
Change-Id: I7fb6041fa50cc764589a2de1004228b8074dfd4a
2024-10-20 01:21:10 +02:00
..
InputBox.php Use namespaced ExtensionRegistry class 2024-10-20 01:21:10 +02:00
InputBoxHooks.php Use namespaced Parser class 2024-06-09 11:44:04 +02:00