ExtraSettings.php: Some debugging for MediaWiki installs in Jenkins

Change-Id: Idbfe2155dc74fdf3071874f294bd07a53f60427d