Thread:User talk:Skizzerz/User:Skizzerz/VE on 1.23 – Special:ExtensionDistributor not working for VE

Eurgh, yeah, this is because ExtensionDistributor was written without support for submodules, so it fails to check out the bulk of the VisualEditor codebase (lib/ve), and only the MediaWiki-specific integration bits.

I've asked how to disable the stupid system until it's fixed, so it doesn't confuse people – if you have any idea how to do that I'd be grateful.