wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-24 06:24:08 +00:00
Code Issues Packages Projects Releases Wiki Activity

Do not have ignoreHidden set to true

Browse source 
We're no longer doing dark-launch deployments for the VisualEditor
so this is unnecessary and a bit messy.

Bug: 42936
Change-Id: I0e55faca4eabe910d9b4d8ca8c6b4b0bd42e8539
This commit is contained in:
James D. Forrester 2013-04-25 12:04:54 -07:00
parent 5ed4f15460
commit 96683370b4
1 changed files with 1 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
VisualEditor.hooks.php
View file

@ -24,10 +24,7 @@ class VisualEditorHooks {
global $wgVisualEditorNamespaces;
if (
// User has the 'visualeditor-enable' preference set
// (bug 42936) ignoring hidden-ness so we can do dark launches
$skin->getUser()->getOption( 'visualeditor-enable',
/*default=*/ false, /*ignoreHidden=*/true
) &&
$skin->getUser()->getOption( 'visualeditor-enable' ) &&
in_array( $skin->getSkinName(), self::$supportedSkins ) &&
(
// Article in the VisualEditor namespace