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 "Export publish-short message for mobile"

Browse source
This commit is contained in:
jenkins-bot 2017-05-04 18:09:51 +00:00 committed by Gerrit Code Review
parent a6f304c347 9ea4dc2ad1
commit ea97f2ba85
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
extension.json
View file

@ -1281,6 +1281,7 @@
"visualeditor-savedialog-error-badtoken", "visualeditor-savedialog-error-badtoken",
"visualeditor-savedialog-label-create", "visualeditor-savedialog-label-create",
"visualeditor-savedialog-label-error", "visualeditor-savedialog-label-error",
"visualeditor-savedialog-label-publish-short",
"visualeditor-savedialog-label-report", "visualeditor-savedialog-label-report",
"visualeditor-savedialog-label-resolve-conflict", "visualeditor-savedialog-label-resolve-conflict",
"visualeditor-savedialog-label-resume-editing", "visualeditor-savedialog-label-resume-editing",