Doc #79245 [Ver->Csd]: DateTime::RFC7231 not documented

Edit report at https://bugs.php.net/bug.php?id=79245&edit=1 ID: 79245 Updated by: cmb@php.net Reported by: looksintolasers at gmail dot com Summary: DateTime::RFC7231 not documented -Status: Verified +Status: Closed Type: Documentation Problem Package: Date/time related Operating System: N/A PHP Version: 7.4.2 -Assigned To: +Assigned To: cmb Block user comment: N Private report: N Previous Comments: ------------------------------------------------------------------------ [2020-02-16 14:05:43] cmb@php.net Automatic comment from SVN on behalf of cmb Revision: http://svn.php.net/viewvc/?view=revision&amp;revision=349226 Log: Fix #79245: Document DateTime::RFC7231 This constant was introduced via http://git.php.net/?p=php-src.git;a=commit;h=618d97962a8ac59d981c8307cc704790f46090c8 but it was never documented. ------------------------------------------------------------------------ [2020-02-16 05:01:15] carusogabriel@php.net The following pull request has been associated: Patch Name: Fix #79245: Document DateTime::RFC7231 On GitHub: https://github.com/php/doc-en/pull/41 Patch: https://github.com/php/doc-en/pull/41.patch ------------------------------------------------------------------------ [2020-02-16 05:00:55] carusogabriel@php.net This constant was introduced in #74080 but indeed was never documented. I've submitted a PR documenting it: https://github.com/php/doc-en/pull/41. ------------------------------------------------------------------------ [2020-02-07 20:24:06] cmb@php.net Indeed, this constant is available as of PHP 7.0.19 and 7.1.15, respectively. ------------------------------------------------------------------------ [2020-02-07 17:33:22] looksintolasers at gmail dot com Description: ------------ --- From manual page: https://php.net/class.datetime --- Using version 7.4.1 on Windows for development. Missing documentation on one of the formatting constants available: DateTime::RFC7231 This is an important one since it's the format for the HTTP Header "Last-Modified". Example (Last-Modified: Tue, 15 Nov 1994 12:45:26 GMT) Test script: --------------- <?php $date = new DateTime(); echo $date->format(DateTime::RFC7231); // Works, but not documented. ------------------------------------------------------------------------ -- Edit this bug report at https://bugs.php.net/bug.php?id=79245&edit=1