shell.php: prevent permission error
authorGergő Tisza <tgr.huwiki@gmail.com>
Sat, 23 Jun 2018 14:10:20 +0000 (16:10 +0200)
committerGergő Tisza <gtisza@wikimedia.org>
Thu, 5 Jul 2018 07:41:14 +0000 (07:41 +0000)
commit3f2db72083b0a02cc35afbbfb7a6a52244388098
treee1565d47e844546160a2b3855966a169c74e9806
parent297ceb4fa5c810005cb52ec264480bb305e844c2
shell.php: prevent permission error

Avoid bobthecow/psysh#443[1] (PsySH using XDG_RUNTIME_DIR as temp
directory, which is inherited by the new user when doing sudo -E
but is only writable by the old user) by using the MediaWiki temp
dir.

[1]: https://github.com/bobthecow/psysh/issues/443

Change-Id: Ica9344cdf23323d264f66df03b9d82ccc0582e45
maintenance/shell.php