ExtraSettings.php: Set wgTmpDirectory to dir in tmpfs

Change-Id: Ib96fccf1ffb501466d592d5fb43f0e97d9b87be4