Sophivorus has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/351116 )

Change subject: Make sure wikiEditor is loaded
......................................................................


Make sure wikiEditor is loaded

Per a bug reported by a user on my talk page

Change-Id: If284169888ebdcede94c0f356692cc7382fb2feb
---
M proveit.js
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Sophivorus: Verified; Looks good to me, approved



diff --git a/proveit.js b/proveit.js
index 510d22c..fe3818a 100755
--- a/proveit.js
+++ b/proveit.js
@@ -127,7 +127,7 @@
 
                // Replace the Reference button for the ProveIt button in the 
new toolbar
                if ( mw.user.options.get( 'usebetatoolbar' ) === 1 ) {
-                       proveit.getTextbox().on( 
'wikiEditor-toolbar-doneInitialSections', function () {
+                       mw.loader.using( 'ext.wikiEditor.toolbar', function () {
                                proveit.getTextbox().wikiEditor( 
'removeFromToolbar', {
                                        'section': 'main',
                                        'group': 'insert',

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

Gerrit-MessageType: merged
Gerrit-Change-Id: If284169888ebdcede94c0f356692cc7382fb2feb
Gerrit-PatchSet: 1
Gerrit-Project: wikipedia/gadgets/ProveIt
Gerrit-Branch: master
Gerrit-Owner: Sophivorus <scheno...@gmail.com>
Gerrit-Reviewer: Sophivorus <scheno...@gmail.com>

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

Reply via email to