Skip to content

PHP 7.4: unbundle ext/wddx#826

Merged
wimg merged 2 commits intomasterfrom
php-7.4/removed-extensions-wddx
Jun 26, 2019
Merged

PHP 7.4: unbundle ext/wddx#826
wimg merged 2 commits intomasterfrom
php-7.4/removed-extensions-wddx

Conversation

@jrfnl
Copy link
Member

@jrfnl jrfnl commented Jun 26, 2019 •
edited
Loading

RemovedFunctions: account for removed wddx extension

RemovedExtensions: account for removed wddx extension

Refs:

Related to #808

@jrfnl jrfnl added Type: enhancement PR: quick merge PR only contains relatively simple changes PR: ready for review labels Jun 26, 2019
@jrfnl jrfnl added this to the 9.2.0 milestone Jun 26, 2019
@jrfnl jrfnl requested a review from wimg June 26, 2019 05:17
@jrfnl jrfnl changed the title Php 7.4: unbundle ext/wddx PHP 7.4: unbundle ext/wddx Jun 26, 2019
@jrfnl jrfnl mentioned this pull request Jun 26, 2019
Open
40 tasks
@wimg wimg merged commit 25c9d73 into master Jun 26, 2019
@wimg wimg deleted the php-7.4/removed-extensions-wddx branch June 26, 2019 20:48
@jrfnl jrfnl removed the PR: quick merge PR only contains relatively simple changes label Sep 5, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@wimg wimg wimg approved these changes

Assignees

No one assigned

Labels

Type: enhancement

Projects

None yet

Milestone

9.2.0

Development

Successfully merging this pull request may close these issues.

2 participants

@jrfnl @wimg