wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 10:35:48 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Fix old copy/paste documentation errors"

Browse source
This commit is contained in:
jenkins-bot 2013-05-18 10:23:37 +00:00 committed by Gerrit Code Review
parent 44aac53bbe 5d41f902ee
commit 0a8e596ffc
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
modules/ve/init/mw/targets/ve.init.mw.ViewPageTarget.js
View file

@ -1510,7 +1510,7 @@ ve.init.mw.ViewPageTarget.prototype.tearDownToolbar = function () {
};
/**
* Enable the toolbar save button.
* Transform the page title into a VE-style title.
*
* @method
*/
@ -1519,7 +1519,7 @@ ve.init.mw.ViewPageTarget.prototype.transformPageTitle = function () {
};
/**
* Enable the toolbar save button.
* Fade the page title to indicate it is not editable.
*
* @method
*/
@ -1528,7 +1528,7 @@ ve.init.mw.ViewPageTarget.prototype.mutePageTitle = function () {
};
/**
* Disable the toolbar save button.
* Restore the page title to its original style.
*
* @method
*/