From 9cba8108353a5adf5468e183dd85fc3532c3675e Mon Sep 17 00:00:00 2001 From: Dirk Goetz Date: Wed, 16 Dec 2015 15:52:49 +0100 Subject: [PATCH] Change pipe to broken pipe for or in detail output refs #10868 --- application/clicommands/CheckCommand.php | 2 ++ 1 file changed, 2 insertions(+) diff --git a/application/clicommands/CheckCommand.php b/application/clicommands/CheckCommand.php index b6ddd503..8895959f 100644 --- a/application/clicommands/CheckCommand.php +++ b/application/clicommands/CheckCommand.php @@ -103,6 +103,8 @@ protected function renderProblemTree($tree, $useColors = false, $depth = 0) $output .= $this->renderProblemTree($subtree['children'], $useColors, $depth + 1); } + $output = str_replace("|", "¦", $output); + return $output; }