WikiEditor-changes.patch

# The following change is pending for the main WikiEditor code, at
# https://gerrit.wikimedia.org/r/#/c/389499/

diff --git a/WikiEditor.hooks.php b/WikiEditor.hooks.php
index 8bf742b..4409523 100644
--- a/WikiEditor.hooks.php
+++ b/WikiEditor.hooks.php
@@ -168,6 +168,11 @@ class WikiEditorHooks {
                        return true;
                }

+               // Give other extensions a chance to disable WikiEditor for this page.
+               if ( !Hooks::run( 'WikiEditorDisable', [ $editPage ] ) ) {
+                       return;
+               }
+
                // Add modules for enabled features
                foreach ( self::$features as $name => $feature ) {
                        if ( !self::isEnabled( $name ) ) {