Updated mediawiki/extensions
Project: mediawiki/extensions/CentralNotice  62742836702db175bfa7cfa31d229451ebd1c13b

Don't insert banner for bots

Change-Id: Id14c4981138c25b79e45f724844db1f15530ef6e