wikimedia/mediawiki-extensions-InputBox
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox synced 2024-11-13 17:53:26 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-InputBox/includes
History
zoranzoki21 1a79401e7f Fix MediaWiki.Commenting.PropertyDocumentation.WrongStyle 
Change-Id: I32e42828c4539efeb7aa211a8f76a68fae5a4f94
2022-01-09 09:51:04 +01:00
..
InputBox.php Fix MediaWiki.Commenting.PropertyDocumentation.WrongStyle 2022-01-09 09:51:04 +01:00
InputBoxHooks.php Make InputBoxHooks::render() non-static 2021-12-10 13:49:55 -05:00