Searched refs:wanted_re (Results 1 – 2 of 2) sorted by relevance
| /PHP-7.0/ |
| H A D | server-tests.php | 1458 $wanted_re
1463 $wanted_re
1468 $wanted_re
1477 $wanted_re = str_replace('%s', '[^\r\n]+', $wanted_re);
1478 $wanted_re = str_replace('%S', '[^\r\n]*', $wanted_re);
1479 $wanted_re = str_replace('%a', '.+', $wanted_re);
1480 $wanted_re = str_replace('%A', '.*', $wanted_re);
1481 $wanted_re = str_replace('%w', '\s*', $wanted_re);
1482 $wanted_re = str_replace('%i', '[+-]?\d+', $wanted_re);
1483 $wanted_re = str_replace('%d', '\d+', $wanted_re);
[all …]
|
| H A D | run-tests.php | 2050 $wanted_re
2055 $wanted_re
2060 $wanted_re
2065 $wanted_re
2069 $wanted_re = str_replace('%s', '[^\r\n]+', $wanted_re);
2070 $wanted_re = str_replace('%S', '[^\r\n]*', $wanted_re);
2071 $wanted_re = str_replace('%a', '.+', $wanted_re);
2072 $wanted_re = str_replace('%A', '.*', $wanted_re);
2073 $wanted_re = str_replace('%w', '\s*', $wanted_re);
2075 $wanted_re = str_replace('%d', '\d+', $wanted_re);
[all …]
|
Completed in 13 milliseconds
