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

Merge "Add missing space before closing parenthesis"

Browse source
This commit is contained in:
jenkins-bot 2023-08-19 12:38:46 +00:00 committed by Gerrit Code Review
parent 05e230fee4 483ebc7259
commit a8c81c556e
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
modules/jquery.wikiEditor.js
View file

@ -56,7 +56,7 @@
if ( property === 'html' || property === 'text' || property === 'title' ) {
messageMethod = 'mw.message( ' + JSON.stringify( key ) + ' ).parse()';
} else {
messageMethod = 'mw.msg( ' + JSON.stringify( key ) + ')';
messageMethod = 'mw.msg( ' + JSON.stringify( key ) + ' )';
}
var deprecationMsg = mw.log.makeDeprecated(
'wikiEditor_autoMsg',