Updated mediawiki/extensions
Project: mediawiki/extensions/OpenID  6955ab250fbd75f1302c164ddb13932a5f1ce4b0

renamed $wgOpenIDClientOnly; moved most important parameters to top of OpenID.php

version 3.12 20130402

renamed $wgOpenIDClientOnly to $wgOpenIDClientAndAlsoProvider and
changed the logic accordingly

moved most important parameters to top of OpenID.php

Change-Id: If6e00410ff09d9e35a36bf1416731033bef12f5a