source = $source; $this->scrub = $scrub; } protected function didReceiveResult($result) { list($err, $stdout, $stderr) = $result; if (!$err && strlen($stdout)) { // Strip off fluff Pygments adds. $stdout = preg_replace( '@^

(.*)

\s*$@s', '\1', $stdout); if ($this->scrub) { $stdout = preg_replace('/^.*\n/', '', $stdout); } return phutil_safe_html($stdout); } throw new PhutilSyntaxHighlighterException($stderr, $err); } }