PHP Config::setHighlighter Examples

Example #1

File: Handler.php Project: TechnoBotz/hack-hhvm-docs

 public function option_highlighter($k, $v)
 {
     Config::setHighlighter($v);
 }