Skip to content

Update PHP grammar from fork#180100

Merged
roblourens merged 1 commit intomicrosoft:mainfrom
KapitanOczywisty:grammar-php
Apr 17, 2023
Merged

Update PHP grammar from fork#180100
roblourens merged 1 commit intomicrosoft:mainfrom
KapitanOczywisty:grammar-php

Conversation

@KapitanOczywisty
Copy link
Contributor

Grammar updated from my fork. #162707

/cc @roblourens

Copy link
Member

@roblourens roblourens left a comment

Choose a reason for hiding this comment

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

We're in business 😁 Thanks!

@roblourens roblourens enabled auto-merge (squash) April 17, 2023 18:42
@roblourens roblourens added this to the April 2023 milestone Apr 17, 2023
@roblourens roblourens merged commit 06401b3 into microsoft:main Apr 17, 2023
@github-actions github-actions bot locked and limited conversation to collaborators Jun 1, 2023
@KapitanOczywisty KapitanOczywisty deleted the grammar-php branch April 3, 2025 16:30
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants