Topic on Extension talk:VisualEditor

Issue solved server-side. Client-side procedure available in this thread.

download version 1.23 doesn't work (404 not found) How can I get it?

Indeed. Issue reported on phabricator:T155076. In the meantime, Git can be used to specifically download this version, the branch REL1_23. On a Linux/Unix command line, it is:

git clone -b REL1_23 https://gerrit.wikimedia.org/r/p/mediawiki/extensions/VisualEditor.git

Do not try to use a newer version of VisualEditor on MediaWiki 1.23, it will probably not work.

This does not address the `lib/ve` `REL1_23` hash missing.

It works since one month thanks to Legoktm (see phabricator:T155076). Given MediaWiki 1.23 is deprecated now, it is no more available in downloading. It remains the installation with Git (similar to what is explained for other branches in Extension:VisualEditor#Download):

git clone -b REL1_23 https://gerrit.wikimedia.org/r/p/mediawiki/extensions/VisualEditor.git
cd VisualEditor
git submodule update --init

The missing commit from lib/ve is now referenced by a tag, which is downloaded by default. I just tested the procedure above and it works.