Doc #79245 [Com]: DateTime::RFC7231 not documented

Edit report at https://bugs.php.net/bug.php?id=79245&edit=1 ID: 79245 Comment by: carusogabriel@php.net Reported by: looksintolasers at gmail dot com Summary: DateTime::RFC7231 not documented Status: Verified Type: Documentation Problem Package: Date/time related Operating System: N/A PHP Version: 7.4.2 Block user comment: N Private report: N New Comment: 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. Previous Comments: ------------------------------------------------------------------------ [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