Merge "shell.php: prevent permission error"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 11 Jul 2018 20:01:06 +0000 (20:01 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 11 Jul 2018 20:01:06 +0000 (20:01 +0000)
commita075f50a86be14347100f662ccd683af4f437090
treeaa3609e8f9f226fdfc35d85f283fbe3b7f578ecf
parent3ceaa6785b06e4f536b8d162e58e909e254f038f
parent3f2db72083b0a02cc35afbbfb7a6a52244388098
Merge "shell.php: prevent permission error"