Add PHP_BUILD_DATE and PHP_BUILD_PROVIDER constants (#5058)

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>

Author: jordikroon

appendices/reserved.constants.core.xml

@@ -80,6 +80,34 @@
     </simpara>
    </listitem>
   </varlistentry>
+  <varlistentry xml:id="constant.php-build-date">
+   <term>
+    <constant>PHP_BUILD_DATE</constant>
+    (<type>string</type>)
+   </term>
+   <listitem>
+    <simpara>
+     The date and time when PHP was built, in <literal>"M d Y H:i:s"</literal> format. Available as of PHP 8.5.0.
+    </simpara>
+   </listitem>
+  </varlistentry>
+  <varlistentry xml:id="constant.php-build-provider">
+   <term>
+    <constant>PHP_BUILD_PROVIDER</constant>
+    (<type>string</type>)
+   </term>
+   <listitem>
+    <simpara>
+     The provider who built PHP. Available as of PHP 8.5.0.
+    </simpara>
+    <note>
+     <simpara>
+      This constant may not be available in all builds of PHP. (e.g., not set when
+      building from source without specifying a value during configuration).
+     </simpara>
+    </note>
+   </listitem>
+  </varlistentry>
   <varlistentry xml:id="constant.zend-thread-safe">
    <term>
     <constant>ZEND_THREAD_SAFE</constant>
@@ -401,6 +429,11 @@
     <simpara>
      Specifies where the manpages were installed into.
     </simpara>
+    <note>
+     <simpara>
+      This constant is not present on Windows builds of PHP.
+     </simpara>
+    </note>
    </listitem>
   </varlistentry>
   <varlistentry xml:id="constant.php-libdir">
@@ -691,10 +724,10 @@
    </listitem>
   </varlistentry>
  </variablelist>
- <para>
+ <simpara>
   See also: <link linkend="language.constants.magic">Magic
   constants</link>.
- </para>
+ </simpara>
 </sect2>
 <!-- Keep this comment at the end of the file
 Local variables: