note 113236 added to dir.constants

DIRECTORY_SEPARATOR is not necessarily needed, PHP always converts / to the appropriate character in its file functions. It is good practice, though. ---- Server IP: 69.147.83.199 Probable Submitter: 81.90.49.242 ---- Manual Page -- http://php.net/manual/en/dir.constants.php Edit -- https://master.php.net/note/edit/113236 Del: integrated -- https://master.php.net/note/delete/113236/integrated Del: useless -- https://master.php.net/note/delete/113236/useless Del: bad code -- https://master.php.net/note/delete/113236/bad+code Del: spam -- https://master.php.net/note/delete/113236/spam Del: non-english -- https://master.php.net/note/delete/113236/non-english Del: in docs -- https://master.php.net/note/delete/113236/in+docs Del: other reasons-- https://master.php.net/note/delete/113236 Reject -- https://master.php.net/note/reject/113236 Search -- https://master.php.net/manage/user-notes.php