wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-23 14:56:43 +00:00
Code Issues Packages Projects Releases Wiki Activity

Change "save" to "publish" in a message

Browse source 
The button says "Publish", so the message should be consistent.

Change-Id: I43edca2b8f78f7fc2301115cd585b0991a3588cd
This commit is contained in:
Amir Aharoni 2020-09-13 11:12:58 +03:00
parent b73924e612
commit d473f901e1
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
i18n/en.json
View file

@ -8,7 +8,7 @@
"codeeditor-desc": "Syntax-highlighted editing for JavaScript and CSS pages using [https://ace.c9.io/ Ace editor]", "codeeditor-desc": "Syntax-highlighted editing for JavaScript and CSS pages using [https://ace.c9.io/ Ace editor]",
"codeeditor-next-annotation": "Go to next annotation", "codeeditor-next-annotation": "Go to next annotation",
"codeeditor-toolbar-toggle": "Toggle code editor", "codeeditor-toolbar-toggle": "Toggle code editor",
"codeeditor-save-with-errors": "The document contains errors. Are you sure you want to save?", "codeeditor-save-with-errors": "The document contains errors. Are you sure you want to publish?",
"codeeditor-invisibleChars-toggle": "Toggle invisible characters", "codeeditor-invisibleChars-toggle": "Toggle invisible characters",
"codeeditor-lineWrapping-toggle": "Toggle line wrapping", "codeeditor-lineWrapping-toggle": "Toggle line wrapping",
"codeeditor-searchReplace-toggle": "Toggle search and replace dialog", "codeeditor-searchReplace-toggle": "Toggle search and replace dialog",