Skip to content
lint php documentation

Typehints for getHeaderMargin() and setHeaderMargin() are inconsistent #417

Sign in to view logs

Typehints for getHeaderMargin() and setHeaderMargin() are inconsistent

Typehints for getHeaderMargin() and setHeaderMargin() are inconsistent #417

Triggered via pull request September 6, 2023 08:31
@nicolaasuninicolaasuni
synchronize #598
fisharebest:main
Status Success
Total duration 27s
Artifacts –

lint-docs.yml

on: pull_request
lint-docs
12s
lint-docs
Fit to window
Zoom out
Zoom in