Updated mediawiki/extensions
Project: mediawiki/extensions/WebPlatformAuth  764d7abd4552a84bcda6892eca422d93793c1436

Latest sources from 'Hallo Welt! Medienwerkstatt GmbH' There may be a newer version on the servers of webplatform.org

Change-Id: I9f7df3b0c6c1663624456d6a0c4a8b0aee4b5ef7