Updated mediawiki/extensions
Project: mediawiki/extensions/CirrusSearch  484d0eba29b025430f9942e0df93f75ca8602282

Use full <?php open tag

The fact that this even works in production is luck since we
shouldn't ever rely on people having short_open_tag enabled.

Change-Id: Iba275c2c292c8d330ffc3d72d3cbad83bf253125