jenkins-bot has submitted this change and it was merged.
Change subject: Disable VE on redirect pages
......................................................................
Disable VE on redirect pages
Will need to be undone once redirect editing support is added.
Bug: 47329
Change-Id: I68836156c35c796aa2156c382992b0c105ae34cf
---
M VisualEditor.hooks.php
1 file changed, 2 insertions(+), 0 deletions(-)
Approvals:
Catrope: Looks good to me, approved
jenkins-bot: Verified
diff --git a/VisualEditor.hooks.php b/VisualEditor.hooks.php
index 9b4c1db..39d2c49 100644
--- a/VisualEditor.hooks.php
+++ b/VisualEditor.hooks.php
@@ -23,6 +23,8 @@
public static function onBeforePageDisplay( &$output, &$skin ) {
global $wgVisualEditorNamespaces;
if (
+ // Disable on redirect pages until redirects are
editable
+ !$skin->getTitle()->isRedirect() &&
// User has the 'visualeditor-enable' preference set
$skin->getUser()->getOption( 'visualeditor-enable' ) &&
in_array( $skin->getSkinName(), self::$supportedSkins )
&&
--
To view, visit https://gerrit.wikimedia.org/r/64275
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I68836156c35c796aa2156c382992b0c105ae34cf
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/VisualEditor
Gerrit-Branch: master
Gerrit-Owner: Esanders <[email protected]>
Gerrit-Reviewer: Catrope <[email protected]>
Gerrit-Reviewer: Krinkle <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
