Searched refs:wanted_re (Results 1 – 2 of 2) sorted by relevance
| /PHP-7.2/ |
| 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 | 2106 $wanted_re
2111 $wanted_re
2116 $wanted_re
2121 $wanted_re
2125 $wanted_re = str_replace('%s', '[^\r\n]+', $wanted_re);
2126 $wanted_re = str_replace('%S', '[^\r\n]*', $wanted_re);
2127 $wanted_re = str_replace('%a', '.+', $wanted_re);
2128 $wanted_re = str_replace('%A', '.*', $wanted_re);
2129 $wanted_re = str_replace('%w', '\s*', $wanted_re);
2131 $wanted_re = str_replace('%d', '\d+', $wanted_re);
[all …]
|
Completed in 16 milliseconds
