ExtraSettings.php: Set wgTmpDirectory to dir in tmpfs

Follows-up Ib96fccf1ffb50.

Change-Id: I4c981cf7fe031713041bf9ca9cf6efbaa67b1c66