PHP WP_CLI::get_man_dirs Examples

Example #1

File: help.php Project: netcon-source/wp-cli

 private static function maybe_load_man_page($args)
 {
     $man_file = \WP_CLI\Man\get_file_name($args);
     foreach (\WP_CLI::get_man_dirs() as $dest_dir => $_) {
         $man_path = $dest_dir . $man_file;
         if (is_readable($man_path)) {
             exit(WP_CLI::launch("man {$man_path}"));
         }
     }
 }