note 80343 added to function.empty

@anonymus below would you please pay attention to the following note in the documentation of empty(): "Note: empty() only checks variables as anything else will result in a parse error. In other words, the following will not work: empty(trim($name)). " ---- Server IP: 212.124.37.9 Probable Submitter: 192.166.195.194 ---- Manual Page -- http://www.php.net/manual/en/function.empty.php Edit -- https://master.php.net/note/edit/80343 Del: integrated -- https://master.php.net/note/delete/80343/integrated Del: useless -- https://master.php.net/note/delete/80343/useless Del: bad code -- https://master.php.net/note/delete/80343/bad+code Del: spam -- https://master.php.net/note/delete/80343/spam Del: non-english -- https://master.php.net/note/delete/80343/non-english Del: in docs -- https://master.php.net/note/delete/80343/in+docs Del: other reasons-- https://master.php.net/note/delete/80343 Reject -- https://master.php.net/note/reject/80343 Search -- https://master.php.net/manage/user-notes.php