HTML API: Replace PCRE in set_attribute() with new UTF-8 utility.
#17
| Job | Run time |
|---|---|
| 0s | |
| 0s | |
| -8s | |
| -8s |
set_attribute() with new UTF-8 utility.
#17
| Job | Run time |
|---|---|
| 0s | |
| 0s | |
| -8s | |
| -8s |