wikimedia/mediawiki-extensions-InputBox
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox synced 2024-11-23 22:54:02 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-InputBox/resources
History
Florianschmidtwelzow 99277a4d0f Hygiene: Use MediaWiki-UI for all elements 
For checkboxes and text input fields, not only for buttons.

Fix missing space between input and submit button in search2, too.

Follow up: Ia608324703987371aa66beccbac962024fc6e897

Bug: T63526
Change-Id: Id9fb22885b836c0dfe6a086e2ec45e2018244210
2015-02-23 09:47:05 +01:00
..
ext.inputBox.js Don't expect input in hidden text fields 2014-10-19 17:35:43 +02:00
ext.inputBox.styles.css Hygiene: Use MediaWiki-UI for all elements 2015-02-23 09:47:05 +01:00