$ php ../../maintenance/convertExtensionToRegistration.php VisualEditor.php
Fatal error: Invalid operand type was used: cannot perform this operation with arrays in /vagrant/mediawiki/extensions/VisualEditor/VisualEditor.php on line 1446
(Tested against VisualEditor rEVED560cd3edf7675069ee92fe8a31373a7ce74392ae.)