Yes, my own testing and Robert's tests accounted for the case of $wgEnableVisualEditorExt = false