wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-09-23 10:26:26 +00:00
Code Issues Packages Projects Releases Wiki Activity

Toolbar: Allow groups to be multiline/wrap

Browse source 
Bug: T25943
Change-Id: I2db720449dfe9619de1f8e37fc99282191d932b1
This commit is contained in:
Derk-Jan Hartman 2018-11-13 15:40:35 +01:00
parent 1df03c03e0
commit fd92d4b821
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
modules/jquery.wikiEditor.toolbar.less
View file

@ -85,7 +85,7 @@
/* Groups */
.group {
float: left;
height: 26px;
min-height: 26px;
padding-right: 6px;
border-right: 1px solid #c8ccd1;
margin: 3px;