Updated mediawiki/extensions
Project: mediawiki/extensions/CirrusSearch  cef45badfa10db18c0ad20558a595ad39d6ba235

update username location for running in Jenkins etc.

Change-Id: Ie0432cdef571a74ca73191af7683162c207d6ec5