Updated mediawiki/extensions
Project: mediawiki/extensions/GoogleLogin  8a34421901225c993d0d2cc08e87939e9a05ea3c

Version jump

Forward to 0.1.3-git

Change-Id: If4793fc172b9caffbd0d0135ff58f2ef4798fa83