Updated mediawiki/extensions
Project: mediawiki/extensions/CentralNotice  ab8f9846fbfb2b42fc0b9c852f69d8b50c6e4e53

Prevent Google indexing of the CentralNotice div

We're doing this here because it takes too long to roll out a skin change.

Change-Id: Id6bf279e590409b3464c363ee16442f4eb0dc186