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