wikimedia/mediawiki-extensions-InputBox
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox synced 2024-09-23 10:20:33 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-InputBox/includes
History
Fomafix ee2bac90b5 Replace global variables by injected MainConfig and MainConfigNames 
Change-Id: Ieb24c6bd93d60fc578c5842b2f623b1a6e5fb94b
2023-10-22 13:41:40 +00:00
..
InputBox.php Replace global variables by injected MainConfig and MainConfigNames 2023-10-22 13:41:40 +00:00
InputBoxHooks.php Replace global variables by injected MainConfig and MainConfigNames 2023-10-22 13:41:40 +00:00