Updated mediawiki/extensions
Project: mediawiki/extensions/Mantle  466bcd43477d4ab085079f90d925693848e91d34

OOjs: Kill use of _super()

Also update documentation to explicitly name template extension
whilst in this code.

Change-Id: I37fa38b955104692ad544c71aaada9d48d209fcc
Updated mediawiki/extensions
Project: mediawiki/extensions/CirrusSearch  30f15b62dfc7f3299cd49dcaa68dcbc09ec077ba

Add stats to "get" searches

Change-Id: Ib2d61e5153c5415d4f00ed4dfc26e524f3c14ab0