Updated mediawiki/extensions
Project: mediawiki/extensions/OpenStackManager  8f3572e65f535ebbcc621ec21fdfbf4ef17a74aa

Slightly improve error reporting for domain deletion

Change-Id: Ibf33851e72291298ad4c90ae4bd0dbafc860b03a