diff options
| author | Andrey Andreev <narf@devilix.net> | 2022-02-13 00:57:37 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-13 00:57:37 +0100 |
| commit | 852c14bbca1277583c23a1977ddfc348af4d395a (patch) | |
| tree | 38b43b33192412d3364de82e3d8f870ed6256381 /phpdoc.dist.xml | |
| parent | dc667a73564012acb5c28df248942be055deff45 (diff) | |
| parent | 7e25c1830dfd61fe38d370e0b2e0f6c740265fac (diff) | |
[ci skip] Merge pull request #6100 from svennd/develop
profiler.php PHP 8.1 deprecation notice
Diffstat (limited to 'phpdoc.dist.xml')
0 files changed, 0 insertions, 0 deletions