Skip to content

Support PHP attributes#2347

Merged
birkenfeld merged 1 commit intopygments:masterfrom
rvanvelzen:php-attribute
Feb 21, 2023
Merged

Support PHP attributes#2347
birkenfeld merged 1 commit intopygments:masterfrom
rvanvelzen:php-attribute

Conversation

@rvanvelzen
Copy link
Contributor

Closes #2055

@birkenfeld
Copy link
Member

Thanks!

@birkenfeld birkenfeld merged commit b4e9027 into pygments:master Feb 21, 2023
@birkenfeld birkenfeld added the changelog-update Items which need to get mentioned in the changelog label Feb 21, 2023
@rvanvelzen rvanvelzen deleted the php-attribute branch February 21, 2023 15:52
@Anteru Anteru added this to the 2.15.0 milestone Mar 25, 2023
@Anteru Anteru removed the changelog-update Items which need to get mentioned in the changelog label Mar 25, 2023
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.

PHP: Attribute support

3 participants