Currently, the bottom resize drag bar is only added to wikitext pages. It is also behind the $wgWikiEditorRealtimePreview feature flag. To provide a better experience to people editing JS, CSS, or Lua modules (for example) the resize bar should be added to all content types, regardless of whether RealtimePreview is available.
This will make it possible to resize the edit box when standalone CodeMirror is in use (although, only when WikiEditor is installed; it won't have to be enabled though).




