php / doc-base

Tools for the PHP documentation
Other
343 stars 85 forks source link

Add (beginnings) of PHP 8.3 migration #93

Closed derickr closed 1 year ago

derickr commented 1 year ago

To go with https://github.com/php/doc-en/pull/2599

mumumu commented 1 year ago

duplicate https://github.com/php/doc-base/pull/101