This global: wgEnableVisualEditorExt is not used.