wikimedia/mediawiki-extensions-InputBox
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox synced 2024-12-18 09:41:23 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-InputBox/includes
History
Bartosz Dziewoński b8f9af0af6 Add missing 'mediawiki.ui.button' module 
Bug: T347233
Change-Id: I79dc8ee79a2f2f7a23e78903e332bdec5747c142
2023-10-06 03:03:59 +02:00
..
InputBox.php Add missing 'mediawiki.ui.button' module 2023-10-06 03:03:59 +02:00
InputBoxHooks.php Replace some moved Title class uses, now MediaWiki\Title\Title 2023-08-19 04:16:50 +00:00