diff options
| author | Remi Collet <remi@remirepo.net> | 2021-01-15 15:46:37 +0100 |
|---|---|---|
| committer | Remi Collet <remi@remirepo.net> | 2021-01-15 15:46:37 +0100 |
| commit | c0659c32316858d9b0fc081d5803cf2fea0bfe5b (patch) | |
| tree | 672c33c493391b04c87f68eccce5ce3592a755c7 /PHPINFO | |
| parent | 30348c5e862fef15dd38d87ad74e2da9491f0f07 (diff) | |
add patch for 8.0 from
https://github.com/weltling/parle/pull/22
Diffstat (limited to 'PHPINFO')
| -rw-r--r-- | PHPINFO | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -0,0 +1,6 @@ + +parle + +Lexing and parsing support => enabled +Parle version => 0.8.1 +Parle internal UTF-32 => no |