Skip to content

NewInterfaces: update reference URLs#942

Merged
wimg merged 1 commit intodevelopfrom
feature/newinterfaces-update-ref-url
Dec 21, 2019
Merged

NewInterfaces: update reference URLs#942
wimg merged 1 commit intodevelopfrom
feature/newinterfaces-update-ref-url

Conversation

@jrfnl
Copy link
Copy Markdown
Member

@jrfnl jrfnl commented Dec 11, 2019

The base URL for the php.net manual site has changed.

The base URL for the php.net manual site has changed.
@jrfnl jrfnl added Type: chores/QA PR: quick merge PR only contains relatively simple changes PR: ready for review labels Dec 11, 2019
@jrfnl jrfnl added this to the 9.x Next milestone Dec 11, 2019
@jrfnl jrfnl requested a review from wimg December 11, 2019 01:10
@wimg wimg merged commit f7cd2d3 into develop Dec 21, 2019
@wimg wimg deleted the feature/newinterfaces-update-ref-url branch December 21, 2019 18:58
@jrfnl jrfnl added Type: enhancement and removed PR: quick merge PR only contains relatively simple changes PR: ready for review labels Dec 22, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants