Thread:Extension talk:VisualEditor/not working after wmf/1.25wmf7/reply (6)

Answering myself: Maybe it was an object cache issue. Since I restarted the machine (actually a linux container), the editor works fine.