Would $vars['wgVisualEditor'] be defined if VisualEditor extension is not enabled?