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

Merge "Bug 38008 - VisualEditor: Tooltips for formatting menu are broken Fixed inconsistency with message name being used for format dropdown"

Browse source
This commit is contained in:
Catrope 2012-07-07 15:46:27 +00:00 committed by Gerrit Code Review
parent 970873595b 74ab4688cc
commit ca868f6cb6
2 changed files with 2 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
VisualEditor.php
View file

@ -260,9 +260,8 @@ $wgResourceModules += array(
'visualeditor-tooltip-help',
'visualeditor',
'visualeditor-linkinspector-title',
'visualeditor-linkinspector-tooltip',
'visualeditor-linkinspector-label-pagetitle',
'visualeditor-formatdropdown-tooltip',
'visualeditor-formatdropdown-title',
'visualeditor-formatdropdown-format-paragraph',
'visualeditor-formatdropdown-format-heading1',
'visualeditor-formatdropdown-format-heading2',

2
modules/ve/ui/tools/ve.ui.FormatDropdownTool.js
View file

@ -200,7 +200,7 @@ ve.FormatDropdownTool.prototype.updateState = function( annotations, nodes ) {
ve.ui.Tool.tools.format = {
'constructor': ve.FormatDropdownTool,
'name': 'format',
'title': ve.msg( 'visualeditor-formatdropdown-tooltip' )
'title': ve.msg( 'visualeditor-formatdropdown-title' )
};
/* Inheritance */