⚠ This page is served via a proxy. Original site: https://github.com
This service does not collect credentials or authentication data.
Skip to content

chore: add override#439

Merged
Minishlink merged 2 commits intoweb-push-libs:masterfrom
Rotzbua:chore_override
Jan 1, 2026
Merged

chore: add override#439
Minishlink merged 2 commits intoweb-push-libs:masterfrom
Rotzbua:chore_override

Conversation

@Rotzbua
Copy link
Contributor

@Rotzbua Rotzbua commented Dec 31, 2025

Use new attribute:
https://www.php.net/manual/class.override.php

Enable phpstan check for override.

Comparability

For php8.3 polyfill is required.

Copy link
Member

@Minishlink Minishlink left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@Minishlink Minishlink merged commit 999bf76 into web-push-libs:master Jan 1, 2026
12 checks passed
@Rotzbua Rotzbua deleted the chore_override branch January 2, 2026 04:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants