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

A couple of minor fixes to proxy special page.

1)  Fix the 'disabled' string for read-only regions
2)  Fail slightly more gracefully if we try to set a proxy
    for a region that isn't set in wgOpenStackManagerProxyGateways

Change-Id: Ie2f9a1b2b0c4188dd908eaa5346af0a1362a0024