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

Merge "Remove style for wpSummary and wpSummaryLabel"

Browse source
This commit is contained in:
jenkins-bot 2015-01-24 08:01:03 +00:00 committed by Gerrit Code Review
parent c9b6a851b4 90592de211
commit 6433e68160
1 changed files with 0 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
modules/ext.wikiEditor.toolbar.styles.css
View file

@ -7,11 +7,6 @@ form#editform {
padding: 0;
}
#wpSummary,
#wpSummaryLabel {
margin-bottom: 1em;
}
#wpTextbox1 {
line-height: 1.5em;
resize: vertical;