diff options
| author | jvoisin | 2017-12-04 16:09:50 +0100 |
|---|---|---|
| committer | jvoisin | 2017-12-04 16:09:50 +0100 |
| commit | 32476340c5fd3c76b86487a92fd5c5075342ca99 (patch) | |
| tree | 0d5de876ae0d3e19544dfcbb3454218aa8654aac /src/bench/micro_bench.php | |
| parent | 2e9d73756cff850569bdbf563815f9f3f3ded06e (diff) | |
Fix the configuration parser wrt. non-matching brackets
This validation step is a bit idiotic, but we'll replace it with a
proper parser anyway.
Diffstat (limited to 'src/bench/micro_bench.php')
0 files changed, 0 insertions, 0 deletions