wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-24 18:58:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

Restoring messages that seem to have been deleted prematurely.

Browse source 
ooui-inspector-close-tooltip and ooui-inspector-remove-tooltip are
still in use by OO.ui.

Change-Id: I241acc5f2b7822adeeab626efc1c5b12384ae54b
This commit is contained in:
kaldari 2013-11-18 15:12:04 +05:30
parent 8fc7c8d336
commit 0aeab0d573
2 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
VisualEditor.i18n.php
View file

@ -20,6 +20,8 @@ $messages['en'] = array(
'accesskey-ca-editsource' => 'e',
'accesskey-ca-ve-edit' => 'v',
'ooui-dialog-action-close' => 'Close',
'ooui-inspector-close-tooltip' => 'Close',
'ooui-inspector-remove-tooltip' => 'Remove',
'ooui-outline-control-move-down' => 'Move item down',
'ooui-outline-control-move-up' => 'Move item up',
'ooui-toggle-on' => 'On',

2
VisualEditor.php
View file

@ -161,6 +161,8 @@ $wgResourceModules += array(
),
'messages' => array(
'ooui-dialog-action-close',
'ooui-inspector-close-tooltip',
'ooui-inspector-remove-tooltip',
'ooui-outline-control-move-down',
'ooui-outline-control-move-up',
'ooui-toggle-on',