diff options
| author | jvoisin | 2020-02-19 21:52:32 +0100 |
|---|---|---|
| committer | jvoisin | 2020-02-19 21:56:41 +0100 |
| commit | 394edbf3b5232c30dd3019f8c3a5dfadc310884f (patch) | |
| tree | 8bbf1b28ab09c22b7b8d6db4bb0bd2a8a6c6ab16 /doc/source/_static | |
| parent | 4a6e9ce42982612a2ea1e5d0f79164b160172f08 (diff) | |
Improve a bit php8 compatibility
PHP changed the way it exposes if a function
has variadic arguments or not, hence why we need
yet an other ifdef.
Diffstat (limited to 'doc/source/_static')
0 files changed, 0 insertions, 0 deletions
