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

Fix spaces

Browse source 
Change-Id: Icce6ba3de9e472472b8b9e98e78e4aece82e806d
This commit is contained in:
Fomafix 2015-07-20 07:12:45 +00:00 committed by [[mw:User:Fomafix]]
parent 584ea5ae19
commit 7c932c06da
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -511,7 +511,7 @@ fn: {
},
buildHeading: function ( context, headings ) {
var html = '<tr>';
for ( var i = 0; i< headings.length; i++ ) {
for ( var i = 0; i < headings.length; i++ ) {
html += '<th>' + $.wikiEditor.autoMsg( headings[i], ['html', 'text'] ) + '</th>';
}
return html + '</tr>';

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

@ -70,7 +70,7 @@
float: left;
line-height: 26px;
a, a:visited {
a, a:visited {
.background-image-svg('images/toolbar/arrow-ltr.svg', 'images/toolbar/arrow-ltr.png');
background-position: left center;
background-repeat: no-repeat;