After trim($s) !== '' the $s can still be mixed
#7194
| Job | Run time |
|---|---|
| 5s | |
| 5s |
trim($s) !== '' the $s can still be mixed
#7194
| Job | Run time |
|---|---|
| 5s | |
| 5s |