diff options
| author | Andrey Andreev <narf@devilix.net> | 2022-01-08 00:32:39 +0100 |
|---|---|---|
| committer | Andrey Andreev <narf@devilix.net> | 2022-01-08 00:32:39 +0100 |
| commit | e32b608aef116d4b2fecabb3745b1b8fe4f6004d (patch) | |
| tree | 8069a079809745123c4e15f466868d2e7c3b8004 /phpdoc.dist.xml | |
| parent | 9e73ec49c324a2954761d8938839eeb4622f068f (diff) | |
[ci skip] Fix CI_Session_driver_interface for PHP 5 (ref #6078)
Diffstat (limited to 'phpdoc.dist.xml')
0 files changed, 0 insertions, 0 deletions