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) { |