@@ -110,6 +110,9 @@ discard block |
||
| 110 | 110 | ; |
| 111 | 111 | } |
| 112 | 112 | |
| 113 | + /** |
|
| 114 | + * @param string $source |
|
| 115 | + */ |
|
| 113 | 116 | protected function benchmark($source, Language $language, FormatterInterface $formatter, $geshi = null) |
| 114 | 117 | { |
| 115 | 118 | gc_collect_cycles(); // force garbage collector |
@@ -161,6 +164,9 @@ discard block |
||
| 161 | 164 | ]; |
| 162 | 165 | } |
| 163 | 166 | |
| 167 | + /** |
|
| 168 | + * @param string $source |
|
| 169 | + */ |
|
| 164 | 170 | protected function geshi($source, $language) |
| 165 | 171 | { |
| 166 | 172 | $geshi = microtime(true); |