Thread:Extension talk:VisualEditor/Installing VisualEditor on MediaWiki 1.25.1 on Debian 7