Skip to content

Add PHP_BUILD_DATE and PHP_BUILD_PROVIDER constants - #5058

Merged
DanielEScherzer merged 7 commits into
php:masterfrom
jordikroon:doc/global-constants
Jan 13, 2026
Merged

DanielEScherzer merged 7 commits into
php:masterfrom
jordikroon:doc/global-constants

Conversation

@jordikroon

@jordikroon jordikroon commented Dec 25, 2025 •

Copy link
Copy Markdown
Member

Document two new predefined constants introduced in PHP 8.5.0:

  • PHP_BUILD_DATE: Returns the date and time when PHP was built
  • PHP_BUILD_PROVIDER: Returns the provider who built PHP

Ref: #4886

Document two new predefined constants introduced in PHP 8.5.0:
- PHP_BUILD_DATE: Returns the date and time when PHP was built
- PHP_BUILD_PROVIDER: Returns the provider who built PHP
The xml:id was incorrectly set to "constant.php-extra-version" when it should reference "constant.php-build-date" to match the actual constant being documented.
Comment thread appendices/reserved.constants.core.xml Resolved
Add notes documenting platform-specific availability for PHP_BUILDER_NAME
and PHP_MANDIR constants to prevent confusion about their presence across
different PHP builds and operating systems.
@DanielEScherzer

Copy link
Copy Markdown
Member

will merge in a few days if there are no other reviews

Comment thread appendices/reserved.constants.core.xml Resolved
@DanielEScherzer
DanielEScherzer merged commit 0425027 into php:master Jan 13, 2026
2 checks passed
jordikroon added a commit to Narkunan/doc-en that referenced this pull request May 17, 2026
Document two new predefined constants introduced in PHP 8.5.0:
- PHP_BUILD_DATE: Returns the date and time when PHP was built
- PHP_BUILD_PROVIDER: Returns the provider who built PHP

---------

Co-authored-by: Tim Düsterhus <timwolla@googlemail.com>
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.

3 participants