Merge "shell: Deduplicate code in Command.php by combining else paths"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 12 Oct 2017 20:53:18 +0000 (20:53 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 12 Oct 2017 20:53:18 +0000 (20:53 +0000)
commit5a20008136741c68bb2b850ea87b8acf5ea0eaab
tree6a8c7f89f1ac4acd73e2895f41b079ab48017ecf
parenta0b088d8ef0199589f2ed4a19a5a14edf8120c52
parentaf72813a12b537a58dc3b189ff55225400a5c685
Merge "shell: Deduplicate code in Command.php by combining else paths"