Updated mediawiki/extensions
Project: mediawiki/extensions/MediaWikiAuth  864cb1f15652cfbee46e21c4faec3e640a33f2ea

Don't require PHP 5.4+

Bug: 68855
Change-Id: I723e091216fbd0f6bd16ff7403fb546664e6cca2