Closed Machou closed 2 years ago
Describe the bug When i write date(DATE_RFC1123, $date); in PHP, DATE_RFC1123 is colored.
date(DATE_RFC1123, $date);
But when i write DATE_RFC7231 & DATE_RFC3339_EXTENDED, she's not colored.
DATE_RFC7231
DATE_RFC3339_EXTENDED
Screenshots & Example Code
Desktop (please complete the following information):
plz provide the code
Just:
<?php echo date(DATE_RFC7231, time());
you can follow this https://github.com/microsoft/vscode/issues/157470
Ok thanks
Describe the bug When i write
date(DATE_RFC1123, $date);
in PHP, DATE_RFC1123 is colored.But when i write
DATE_RFC7231
&DATE_RFC3339_EXTENDED
, she's not colored.Screenshots & Example Code
Desktop (please complete the following information):