wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-25 14:56:20 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/tools
History
James D. Forrester 532077b57f Don't use a changeable tooltip for edit notices 
We can't change tooltips once they're set for buttons like this (they're
static), so for values that can change we need to use language that does
not need plurals.

Bug: 61891
Change-Id: I78e5576e348ee92bc39315fd494b3398ae2c14bf
2014-02-27 01:20:43 +00:00
..
ve.ui.MWAlienExtensionInspectorTool.js (Stand back again) Even moar label manias! (label refactoring) + VE core update 2014-02-12 14:05:23 -08:00
ve.ui.MWDialogTool.js Let users set __NOINDEX__ & __INDEX__ status 2014-02-19 17:48:03 -08:00
ve.ui.MWEditModeTool.js (Stand back again) Even moar label manias! (label refactoring) + VE core update 2014-02-12 14:05:23 -08:00
ve.ui.MWFormatTool.js (Stand back again) Even moar label manias! (label refactoring) + VE core update 2014-02-12 14:05:23 -08:00
ve.ui.MWGalleryInspectorTool.js (Stand back again) Even moar label manias! (label refactoring) + VE core update 2014-02-12 14:05:23 -08:00
ve.ui.MWHieroInspectorTool.js (Stand back again) Even moar label manias! (label refactoring) + VE core update 2014-02-12 14:05:23 -08:00
ve.ui.MWInspectorTool.js Bump copyright like it's 2014 2014-01-05 20:06:50 +08:00
ve.ui.MWMathInspectorTool.js (Stand back again) Even moar label manias! (label refactoring) + VE core update 2014-02-12 14:05:23 -08:00
ve.ui.MWPopupTool.js Don't use a changeable tooltip for edit notices 2014-02-27 01:20:43 +00:00