src/Renderer/RichRenderer.php 1 location
|
@@ 227-232 (lines=6) @@
|
224 |
|
$output .= '<var>'.$s.'</var> '; |
225 |
|
} |
226 |
|
|
227 |
|
if (($s = $o->getSize()) !== null) { |
228 |
|
if (self::$escape_types) { |
229 |
|
$s = $this->escape($s); |
230 |
|
} |
231 |
|
$output .= '('.$s.') '; |
232 |
|
} |
233 |
|
|
234 |
|
if (($s = $o->getValueShort()) !== null) { |
235 |
|
$s = preg_replace('/\s+/', ' ', $s); |
src/Renderer/TextRenderer.php 1 location
|
@@ 172-174 (lines=3) @@
|
169 |
|
$output[] = $this->colorType($this->escape($s)); |
170 |
|
} |
171 |
|
|
172 |
|
if (($s = $o->getSize()) !== null) { |
173 |
|
$output[] = '('.$this->escape($s).')'; |
174 |
|
} |
175 |
|
|
176 |
|
if (($s = $o->getValueShort()) !== null) { |
177 |
|
if (self::$strlen_max && BlobObject::strlen($s) > self::$strlen_max) { |