PHP Config::set_no_toc Examples

Example #1

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

 public function option_notoc($k, $v)
 {
     Config::set_no_toc(true);
 }