From a78042accd6573c240959a1d04cb76e91d3948ef Mon Sep 17 00:00:00 2001
From: Ed Sanders <esanders@wikimedia.org>
Date: Fri, 17 May 2013 12:23:11 +0100
Subject: [PATCH] Disable VE on redirect pages

Will need to be undone once redirect editing support is added.

Bug: 47329
Change-Id: I68836156c35c796aa2156c382992b0c105ae34cf
---
 VisualEditor.hooks.php | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/VisualEditor.hooks.php b/VisualEditor.hooks.php
index 9b4c1db50b..39d2c49ac1 100644
--- a/VisualEditor.hooks.php
+++ b/VisualEditor.hooks.php
@@ -23,6 +23,8 @@ class VisualEditorHooks {
 	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 ) &&