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

Merge "Single edit tab: Update preference value"

Browse source
This commit is contained in:
jenkins-bot 2015-12-10 01:33:25 +00:00 committed by Gerrit Code Review
parent 128901866a e8a682f567
commit 0d9643e9e2
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
VisualEditor.hooks.php
View file

@ -73,7 +73,7 @@ class VisualEditorHooks {
!$user->getOption( 'visualeditor-enable' ) ||
$user->getOption( 'visualeditor-betatempdisable' ) ||
$user->getOption( 'visualeditor-autodisable' ) ||
$user->getOption( 'visualeditor-tabs' ) === 'preferwt' ||
$user->getOption( 'visualeditor-tabs' ) === 'prefer-wt' ||
( $veConfig->get( 'VisualEditorDisableForAnons' ) && $user->isAnon() ) ||
false // TODO: Detect incompatibility - P2373
) {