Added extension.json created by convertExtensionToRegistration.php.