So basically I wrote this using the SkinEditSectionLinks hook, which adds "hide" next to the edit link:
https://github.com/labster/HideSection/blob/master/HideSection.hooks.php#L55
Without VE, or with VE turned on, everything works great. But if VE is marked as a beta feature and disabled by the user, the edit section looks like:
Header name [ edithidehide all]
It still works, but the lack of spacing between the words is less than awesome.
Apparently this is the offending CSS rule...
.ve-not-available .mw-editsection-divider { display: none; }
Can you rewrite VE so it can play nicely with other extensions please? Thanks.