$wgVisualEditorSingleEditTabSwitchTime