> The other thought I had (since I made this mistake recently and wasVisualEditor was downloaded like this:
> baffled for a while) was if you installed VE from git, then make sure
> that after pulling the latest version of VE, you also install VE
> submodules via git submodule update --init.
wget https://codeload.github.com/wikimedia/mediawiki-extensions-VisualEditor/legacy.tar.gz/REL1_23 -O VisualEditor.tgz