shell: Deduplicate code in Command.php by combining else paths
authorFomafix <fomafix@googlemail.com>
Thu, 12 Oct 2017 10:51:05 +0000 (12:51 +0200)
committerKrinkle <krinklemail@gmail.com>
Thu, 12 Oct 2017 20:46:15 +0000 (20:46 +0000)
commitaf72813a12b537a58dc3b189ff55225400a5c685
treec01062434d829c1919c069d1b929f4a9e3717cb9
parent899b6de393c02d848d5f3e5cbb3a9596d3c3f4a7
shell: Deduplicate code in Command.php by combining else paths

Also reduce indenting.

Change-Id: I33f83786c38bba0919372df0d5cdfa806d4361fc
includes/shell/Command.php