main: change some PHP globals to zend_string* and uint32_t #5168
| Job | Run time |
|---|---|
| 10s | |
| 34m 56s | |
| 13m 32s | |
| 45m 27s | |
| 40m 8s | |
| 13m 14s | |
| 19m 13s | |
| 29m 0s | |
| 14m 52s | |
| 0s | |
| -1s | |
| -1s | |
| -1s | |
| -1s | |
| -1s | |
| -1s | |
| 3h 30m 26s |
| Job | Run time |
|---|---|
| 10s | |
| 34m 56s | |
| 13m 32s | |
| 45m 27s | |
| 40m 8s | |
| 13m 14s | |
| 19m 13s | |
| 29m 0s | |
| 14m 52s | |
| 0s | |
| -1s | |
| -1s | |
| -1s | |
| -1s | |
| -1s | |
| -1s | |
| 3h 30m 26s |