Gerrit Patch Uploader has uploaded a new change for review.
https://gerrit.wikimedia.org/r/255929
Change subject: Use module "mediawiki.api.options" to save options
......................................................................
Use module "mediawiki.api.options" to save options
This change requires MediaWiki 1.25.
Change-Id: Id476b7422bd47751813f671982ceecd6d9844718
---
M extension.json
M modules/jquery.codeEditor.js
2 files changed, 3 insertions(+), 5 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/CodeEditor
refs/changes/29/255929/1
diff --git a/extension.json b/extension.json
index 6a607d6..6359add 100644
--- a/extension.json
+++ b/extension.json
@@ -54,6 +54,7 @@
"ext.codeEditor.ace",
"jquery.ui.resizable",
"mediawiki.api",
+ "mediawiki.api.options",
"user.options",
"mediawiki.cookie"
],
diff --git a/modules/jquery.codeEditor.js b/modules/jquery.codeEditor.js
index 1e2054d..ad54996 100644
--- a/modules/jquery.codeEditor.js
+++ b/modules/jquery.codeEditor.js
@@ -298,11 +298,8 @@
if ( mw.user.isAnon() ) {
return;
}
- api.postWithToken( 'options', {
- action: 'options',
- optionname: 'usecodeeditor',
- optionvalue: prefValue ? 1 : 0
- } ).fail( function ( code, result ) {
+ api.saveOption( 'usecodeeditor', prefValue ? 1
: 0 )
+ .fail( function ( code, result ) {
var message = 'Failed to set code
editor preference: ' + code;
if ( result.error && result.error.info
) {
message += '\n' +
result.error.info;
--
To view, visit https://gerrit.wikimedia.org/r/255929
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Id476b7422bd47751813f671982ceecd6d9844718
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/CodeEditor
Gerrit-Branch: master
Gerrit-Owner: Gerrit Patch Uploader <gerritpatchuploa...@gmail.com>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
