Lint php

[stable31] fix: group imip log messages by removing principal and uri #39159

Triggered via pull request July 23, 2025 09:21

opened #54053

backport/54016/stable31

Status Success

Total duration 6m 26s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

lint-php.yml

on: pull_request

Matrix: php-lint