wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-27 17:50:44 +00:00
Code Issues Packages Projects Releases Wiki Activity

Remove unused messages and commented-out code

Browse source 
It looks like `wikieditor-loading` was already commented out in 2010:
9d278e8dee%5E!/#F114
and I couldn't find any usage of `wikieditor-toolbar-loading`.

Change-Id: I07988643ca502dcbd7c3208fb803a84003947d5e
This commit is contained in:
Sam Wilson 2022-03-02 10:37:17 +08:00 committed by Samwilson
parent fc768ba3c4
commit 2aa9e1d298
4 changed files with 0 additions and 17 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
extension.json
View file

@ -89,8 +89,6 @@
}, },
"messages": [ "messages": [
"wikieditor-wikitext-tab", "wikieditor-wikitext-tab",
"wikieditor-loading",
"wikieditor-toolbar-loading",
"wikieditor-toolbar-tool-bold", "wikieditor-toolbar-tool-bold",
"wikieditor-toolbar-tool-bold-example", "wikieditor-toolbar-tool-bold-example",
"wikieditor-toolbar-tool-italic", "wikieditor-toolbar-tool-italic",

2
i18n/en.json
View file

@ -7,12 +7,10 @@
"wikieditor": "Advanced wikitext editing interface", "wikieditor": "Advanced wikitext editing interface",
"wikieditor-desc": "Provides an advanced, extensible wikitext editing interface", "wikieditor-desc": "Provides an advanced, extensible wikitext editing interface",
"wikieditor-wikitext-tab": "Wikitext", "wikieditor-wikitext-tab": "Wikitext",
"wikieditor-loading": "Loading...",
"wikieditor-toolbar": "Editing toolbar", "wikieditor-toolbar": "Editing toolbar",
"wikieditor-toolbar-desc": "Edit page toolbar with enhanced usability", "wikieditor-toolbar-desc": "Edit page toolbar with enhanced usability",
"wikieditor-toolbar-preference": "Enable the editing toolbar", "wikieditor-toolbar-preference": "Enable the editing toolbar",
"wikieditor-toolbar-preference-help": "This is sometimes called the '2010 wikitext editor'.", "wikieditor-toolbar-preference-help": "This is sometimes called the '2010 wikitext editor'.",
"wikieditor-toolbar-loading": "Loading...",
"wikieditor-toolbar-tool-bold": "Bold", "wikieditor-toolbar-tool-bold": "Bold",
"wikieditor-toolbar-tool-bold-example": "Bold text", "wikieditor-toolbar-tool-bold-example": "Bold text",
"wikieditor-toolbar-tool-italic": "Italic", "wikieditor-toolbar-tool-italic": "Italic",

2
i18n/qqq.json
View file

@ -38,12 +38,10 @@
"wikieditor": "An extension to provide an advanced, extensible wikitext editing interface.\nhttps://www.mediawiki.org/wiki/Extension:WikiEditor", "wikieditor": "An extension to provide an advanced, extensible wikitext editing interface.\nhttps://www.mediawiki.org/wiki/Extension:WikiEditor",
"wikieditor-desc": "Sorry, the documentation apears out of date:\n\n\n{{desc|name=WikiEditor|url=https://www.mediawiki.org/wiki/Extension:WikiEditor}}", "wikieditor-desc": "Sorry, the documentation apears out of date:\n\n\n{{desc|name=WikiEditor|url=https://www.mediawiki.org/wiki/Extension:WikiEditor}}",
"wikieditor-wikitext-tab": "Caption of the tab containing the edit box\n{{Identical|Wikitext}}", "wikieditor-wikitext-tab": "Caption of the tab containing the edit box\n{{Identical|Wikitext}}",
"wikieditor-loading": "Explanatory text for the temporary cover placed over the wikieditor while it's being assembled.\n{{Identical|Loading}}",
"wikieditor-toolbar": "A customizable toolbar for the WikiEditor.\nFor more information, see https://www.mediawiki.org/wiki/Extension:WikiEditor/Toolbar_customization", "wikieditor-toolbar": "A customizable toolbar for the WikiEditor.\nFor more information, see https://www.mediawiki.org/wiki/Extension:WikiEditor/Toolbar_customization",
"wikieditor-toolbar-desc": "Unused at this time.", "wikieditor-toolbar-desc": "Unused at this time.",
"wikieditor-toolbar-preference": "Label for the checkbox user preference to enable the editor. By default this is checked.", "wikieditor-toolbar-preference": "Label for the checkbox user preference to enable the editor. By default this is checked.",
"wikieditor-toolbar-preference-help": "Explanation underneath the preference to enable the editor, giving its secondary name.", "wikieditor-toolbar-preference-help": "Explanation underneath the preference to enable the editor, giving its secondary name.",
"wikieditor-toolbar-loading": "{{Identical|Loading}}",
"wikieditor-toolbar-tool-bold": "{{Identical|Bold}}", "wikieditor-toolbar-tool-bold": "{{Identical|Bold}}",
"wikieditor-toolbar-tool-bold-example": "{{Identical|Bold text}}", "wikieditor-toolbar-tool-bold-example": "{{Identical|Bold text}}",
"wikieditor-toolbar-tool-italic": "{{Identical|Italic}}", "wikieditor-toolbar-tool-italic": "{{Identical|Italic}}",

11
modules/jquery.wikiEditor.js
View file

@ -462,22 +462,11 @@
* as a response to the "resize" event. * as a response to the "resize" event.
*/ */
// Assemble a temporary div to place over the wikiEditor while it's being constructed
/* Disabling our loading div for now
var $loader = $( '<div>' )
.addClass( 'wikiEditor-ui-loading' )
.append( $( '<span>' + mw.msg( 'wikieditor-loading' ) + '</span>' )
.css( 'marginTop', context.$textarea.height() / 2 ) );
*/
/* Preserving cursor and focus state, which will get lost due to wrapAll */ /* Preserving cursor and focus state, which will get lost due to wrapAll */
var hasFocus = context.$textarea.is( ':focus' ); var hasFocus = context.$textarea.is( ':focus' );
var cursorPos = context.$textarea.textSelection( 'getCaretPosition', { startAndEnd: true } ); var cursorPos = context.$textarea.textSelection( 'getCaretPosition', { startAndEnd: true } );
// Encapsulate the textarea with some containers for layout // Encapsulate the textarea with some containers for layout
context.$textarea context.$textarea
/* Disabling our loading div for now
.after( $loader )
.add( $loader )
*/
.wrapAll( $( '<div>' ).addClass( 'wikiEditor-ui' ) ) .wrapAll( $( '<div>' ).addClass( 'wikiEditor-ui' ) )
.wrapAll( $( '<div>' ).addClass( 'wikiEditor-ui-view wikiEditor-ui-view-wikitext' ) ) .wrapAll( $( '<div>' ).addClass( 'wikiEditor-ui-view wikiEditor-ui-view-wikitext' ) )
.wrapAll( $( '<div>' ).addClass( 'wikiEditor-ui-left' ) ) .wrapAll( $( '<div>' ).addClass( 'wikiEditor-ui-left' ) )