Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[Feature] Implementation of userland PHP extensions #42

Merged
merged 2 commits into from
Mar 11, 2020
Merged

[Feature] Implementation of userland PHP extensions #42

merged 2 commits into from
Mar 11, 2020

Conversation

lisachenko
Copy link
Owner

This PR introduces an ability to create and register PHP extensions from PHP, described in #38.

@lisachenko lisachenko added the feature Describes new features for library label Mar 11, 2020
@lisachenko lisachenko added this to the 0.8.0 milestone Mar 11, 2020
@lisachenko lisachenko merged commit 5f3cda0 into master Mar 11, 2020
@lisachenko lisachenko deleted the feature/userland-module branch March 11, 2020 09:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
feature Describes new features for library
Projects
None yet
Milestone
0.8.0
Development

Successfully merging this pull request may close these issues.
1 participant
@lisachenko