Searched refs:dirh (Results 1 – 1 of 1) sorted by relevance
47 $dirh = @opendir($_SERVER['DOCUMENT_ROOT'] . "/manual/$LANG"); variable48 if (!$dirh) {56 while (($entry = readdir($dirh)) !== false) {79 closedir($dirh);
Completed in 4 milliseconds