Updated mediawiki/extensions
Project: mediawiki/extensions/CentralNotice  085f58a148278c5b0eb93c0bc6fab690ccf73ba0

Show algorthm toggle on Special:BannerAllocation

Allows user to switch between percentages as calculated by BannerRandom
and percentages calculated by new client-side algorithm.

Change-Id: Ia729eb7d85abfc8c7e041590903ae89dcd3a1b42