mediawiki: Package VisualEditor extension for MediaWiki

Debian PHP packaging for VisualEditor