note 130217 added to language.types.type-juggling

This PHP documentation is very thorough. An observation about comments, maybe they lost sense when become old, and the page changes, so, should be signaled this condition, or add a link to the document version when the comment was made. ---- Server IP: 45.112.84.4 Probable Submitter: 80.90.5.137 (proxied: 181.228.21.126) ---- Manual Page -- https://php.net/manual/en/language.types.type-juggling.php Edit -- https://main.php.net/note/edit/130217 Del: integrated -- https://main.php.net/note/delete/130217/integrated Del: useless -- https://main.php.net/note/delete/130217/useless Del: bad code -- https://main.php.net/note/delete/130217/bad+code Del: spam -- https://main.php.net/note/delete/130217/spam Del: non-english -- https://main.php.net/note/delete/130217/non-english Del: in docs -- https://main.php.net/note/delete/130217/in+docs Del: other reasons-- https://main.php.net/note/delete/130217 Reject -- https://main.php.net/note/reject/130217 Search -- https://main.php.net/manage/user-notes.php