wikimedia/mediawiki-extensions-InputBox
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox synced 2024-11-15 11:13:27 +00:00
Code Issues Packages Projects Releases Wiki Activity
480 commits 282 branches 5 tags 11 MiB
Commit graph

3 commits

Author SHA1 Message Date
glaisher ddf6329103 Make createboxButton disabling work again 
'createboxButton' class was erroneously removed in Ia608324703987371
so add it back again. Also prefixed "inputbox-element" class with
a "mw-" for consitency as well.

Bug: T92611
Change-Id: I36718671e6012427a647de7a1cc712e3c8394ee1
 2015-03-21 13:40:47 +05:00
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
Derk-Jan Hartman d05173bdd2 InputBox: Cleanup usage of inline styles 
Change-Id: I2e1384e1f46e8592ecba7bbfea81884804f0128a
 2014-05-18 11:51:07 +02:00