Updated mediawiki/extensions
Project: mediawiki/extensions/BlueSpiceExtensions  ba6cf669430956c50c8b9b09de0edc80ba41f141

Replace deprecated User::isValidEmailAddr calls

Change-Id: I545877bce965ece6e12e8bd43517e69fcf2e57f9