PHP Config::set_no_index Examples

Example #1

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

 public function option_noindex($k, $v)
 {
     Config::set_no_index(true);
 }