Lines Matching refs:extra
1580 $extra = substr(PHP_OS, 0, 3) !== "WIN" ?
1593 …$output = system_with_timeout("$extra $php $pass_options -q $ini_settings $no_file_cache -d displa…
1924 $extra = substr(PHP_OS, 0, 3) !== "WIN" ?
1926 …system_with_timeout("$extra $php $pass_options -q $clean_params $no_file_cache \"$test_clean\"", $…
2662 function show_result($result, $tested, $tested_file, $extra = '', $temp_filenames = null) argument
2667 echo "$result $tested [$tested_file] $extra\n";
2682 if (empty($extra)) {
2683 $extra = "skipif";
2687 $extra = "<a href='$url'>$extra</a>";
2689 } else if (empty($extra)) {
2690 $extra = " ";
2711 "<td>$extra</td>" .