summaryrefslogtreecommitdiffstats
path: root/phpdoc.dist.xml
diff options
context:
space:
mode:
authorAndrey Andreev <narf@devilix.net>2022-02-13 00:57:37 +0100
committerGitHub <noreply@github.com>2022-02-13 00:57:37 +0100
commit852c14bbca1277583c23a1977ddfc348af4d395a (patch)
tree38b43b33192412d3364de82e3d8f870ed6256381 /phpdoc.dist.xml
parentdc667a73564012acb5c28df248942be055deff45 (diff)
parent7e25c1830dfd61fe38d370e0b2e0f6c740265fac (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