Updated mediawiki/extensions
Project: mediawiki/extensions/CentralNotice  de8e4d99525b89be13d2820b1f51b4889df72d55

Display allocations in a compact form

Find all groups of criteria sharing the same allocations, and partition into
Cartesian products for display.

The allocations page can now display all global allocations on one screen.

TODO:
* date filter and history reconstruction

Change-Id: Id10b191bd46ce8c6776506644e4e20d983a6380e