jenkins-bot has submitted this change and it was merged.

Change subject: Reuse variable profile instead of $.client.profile()
......................................................................


Reuse variable profile instead of $.client.profile()

Change-Id: I66543bd0838b062bea08ca4b5f4fded41ff835cc
---
M modules/jquery.wikiEditor.js
1 file changed, 2 insertions(+), 2 deletions(-)

Approvals:
  Umherirrender: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/modules/jquery.wikiEditor.js b/modules/jquery.wikiEditor.js
index 8747c31..f9f95a4 100644
--- a/modules/jquery.wikiEditor.js
+++ b/modules/jquery.wikiEditor.js
@@ -458,7 +458,7 @@
                 * Save text selection for old IE (<=10)
                 */
                saveSelection: function () {
-                       if ( $.client.profile().name === 'msie' && 
document.selection && document.selection.createRange ) {
+                       if ( profile.name === 'msie' && document.selection && 
document.selection.createRange ) {
                                context.$textarea.focus();
                                context.savedSelection = 
document.selection.createRange();
                        }
@@ -468,7 +468,7 @@
                 * Restore text selection for old IE (<=10)
                 */
                restoreSelection: function () {
-                       if ( $.client.profile().name === 'msie' && 
context.savedSelection !== null ) {
+                       if ( profile.name === 'msie' && context.savedSelection 
!== null ) {
                                context.$textarea.focus();
                                context.savedSelection.select();
                                context.savedSelection = null;

-- 
To view, visit https://gerrit.wikimedia.org/r/193861
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I66543bd0838b062bea08ca4b5f4fded41ff835cc
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/WikiEditor
Gerrit-Branch: master
Gerrit-Owner: Gerrit Patch Uploader <gerritpatchuploa...@gmail.com>
Gerrit-Reviewer: Gerrit Patch Uploader <gerritpatchuploa...@gmail.com>
Gerrit-Reviewer: TheDJ <hartman.w...@gmail.com>
Gerrit-Reviewer: Umherirrender <umherirrender_de...@web.de>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to