Updated mediawiki/extensions
Project: mediawiki/extensions/OpenID  4db96249a0369f5001f5e71cc8a43be64b1d31cb

fix deprecated User:edittoken() to getEditToken() method

Change-Id: Ib7629c8e631478f9581cf65a0999daaff0c13690