Updated mediawiki/extensions
Project: mediawiki/extensions/CirrusSearch  e532ef4ce001f9b83663142827aa1d199dd7f017

Config parameter to shut off Special:Random hook

Change-Id: Ia29076837b01323177c36aee0fb88c7207d86eb6