Thread:Extension talk:VisualEditor/Upgraded private wiki from 19 to 23 based on downloads Jun 25 morning, VE doesn't work/reply (2)

You are correct, of course.

I used the git approach, ran all four commands from https://www.mediawiki.org/wiki/Extension:VisualEditor#Download, and it seems to work fine now.

Thank you.