Skip to content

Add Record.php class method typehints#153

Merged
thePanz merged 1 commit intomasterfrom
add-record-typehints
Dec 3, 2025
Merged

Add Record.php class method typehints#153
thePanz merged 1 commit intomasterfrom
add-record-typehints

Conversation

@thePanz
Copy link
Member

@thePanz thePanz commented Dec 3, 2025

No description provided.

@thePanz thePanz requested review from Tybaze and thirsch December 3, 2025 11:02
Copy link
Collaborator

@thirsch thirsch left a comment

Choose a reason for hiding this comment

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

lgtm

@thePanz thePanz merged commit 0206385 into master Dec 3, 2025
6 checks passed
@thePanz thePanz deleted the add-record-typehints branch December 3, 2025 15:00
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