Updated mediawiki/extensions
Project: mediawiki/extensions/CentralNotice  ef138e2d44c5d7fc858b42aa22f00ce537b8f936

Revert "Don't insert banner for bots"

This reverts commit 62742836702db175bfa7cfa31d229451ebd1c13b.

Change-Id: I999d8dc0b9151b7f6891c9245920ec29c39b96aa