Searched refs:wanted_re (Results 1 – 2 of 2) sorted by relevance
| /PHP-7.1/ |
| H A D | server-tests.php | 1446 $wanted_re
1451 $wanted_re
1456 $wanted_re
1465 $wanted_re = str_replace('%s', '[^\r\n]+', $wanted_re);
1466 $wanted_re = str_replace('%S', '[^\r\n]*', $wanted_re);
1467 $wanted_re = str_replace('%a', '.+', $wanted_re);
1468 $wanted_re = str_replace('%A', '.*', $wanted_re);
1469 $wanted_re = str_replace('%w', '\s*', $wanted_re);
1470 $wanted_re = str_replace('%i', '[+-]?\d+', $wanted_re);
1471 $wanted_re = str_replace('%d', '\d+', $wanted_re);
[all …]
|
| H A D | run-tests.php | 2028 $wanted_re
2033 $wanted_re
2038 $wanted_re
2043 $wanted_re
2047 $wanted_re = str_replace('%s', '[^\r\n]+', $wanted_re);
2048 $wanted_re = str_replace('%S', '[^\r\n]*', $wanted_re);
2049 $wanted_re = str_replace('%a', '.+', $wanted_re);
2050 $wanted_re = str_replace('%A', '.*', $wanted_re);
2051 $wanted_re = str_replace('%w', '\s*', $wanted_re);
2053 $wanted_re = str_replace('%d', '\d+', $wanted_re);
[all …]
|
Completed in 23 milliseconds
