wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-01 01:16:30 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Simplify showtabdialog logic a little bit"

Browse source
This commit is contained in:
jenkins-bot 2016-03-07 23:28:50 +00:00 committed by Gerrit Code Review
parent 39f3cfa4a7 73969d74cd
commit 1a64d83138
1 changed files with 19 additions and 23 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
VisualEditor.hooks.php
View file

@ -234,12 +234,9 @@ class VisualEditorHooks {
return true;
}
if (
$config->get( 'VisualEditorUseSingleEditTab' ) &&
$user->getOption( 'visualeditor-tabs' ) !== 'multi-tab'
) {
$dbr = wfGetDB( DB_SLAVE );
if (
$config->get( 'VisualEditorUseSingleEditTab' ) &&
!$user->isAnon() &&
!$user->getOption( 'visualeditor-autodisable' ) &&
!$user->getOption( 'visualeditor-betatempdisable' ) &&
@ -260,7 +257,6 @@ class VisualEditorHooks {
) {
$links['views']['edit']['class'] .= ' visualeditor-showtabdialog';
}
}
// Exit if the user doesn't have VE enabled
if (