Updated mediawiki/extensions
Project: mediawiki/extensions/CentralAuth  dae13be568e4c13ff3e0abad44d5ab7591d918d1

Don't use isset to check for !== null

Change-Id: I4e651e7194dc6254f23ddc0426e3f0aea6786166