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 "Use sprite as button icon where possible"

Browse source
This commit is contained in:
jenkins-bot 2015-02-05 12:25:11 +00:00 committed by Gerrit Code Review
parent bca8c3cf69 17cb22e4f3
commit d70fe376eb
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
modules/jquery.wikiEditor.toolbar.config.js
View file

@ -83,6 +83,7 @@ getDefaultConfig: function () {
'it': [2, -790],
'ky': [2, -934],
'nl': [2, -790],
'os': [2, -934],
'pt': [2, -862],
'pt-br': [2, -862],
'pl': [2, -862],