note 119223 added to datetime.formats.compound

When trying to create a DateTime from a string, PHP essentially doesn't care about leading zeroes in hours. When converting a DateTime to a string, PHP will honor leading zeroes as documented in date(). ---- Server IP: 72.52.91.14 Probable Submitter: 66.30.234.149 ---- Manual Page -- http://php.net/manual/en/datetime.formats.compound.php Edit -- https://master.php.net/note/edit/119223 Del: integrated -- https://master.php.net/note/delete/119223/integrated Del: useless -- https://master.php.net/note/delete/119223/useless Del: bad code -- https://master.php.net/note/delete/119223/bad+code Del: spam -- https://master.php.net/note/delete/119223/spam Del: non-english -- https://master.php.net/note/delete/119223/non-english Del: in docs -- https://master.php.net/note/delete/119223/in+docs Del: other reasons-- https://master.php.net/note/delete/119223 Reject -- https://master.php.net/note/reject/119223 Search -- https://master.php.net/manage/user-notes.php