Updated mediawiki/extensions
Project: mediawiki/extensions/OpenStackManager  80d6a5046a9e8c5fc4371c20197c2291cb900a92

Use the long PHP tag

Change-Id: I3d2c4cb565f203dc9f2c7c6531f7ba7ead82bb96