Skip to content

[stable26] enh: Add unique DOM identifiers for nav entries #3791

[stable26] enh: Add unique DOM identifiers for nav entries

[stable26] enh: Add unique DOM identifiers for nav entries #3791

Triggered via pull request November 15, 2023 18:53
Status Success
Total duration 2m 46s
Artifacts

lint-php.yml

on: pull_request
Matrix: php-lint
php-lint-summary
0s
php-lint-summary
Fit to window
Zoom out
Zoom in