note 126924 added to migration70.deprecated

There’s no way to check for these deprecated constructs though, is there? php --syntax-check just passes them… ☹ ---- Server IP: 45.112.84.4 Probable Submitter: 80.90.5.135 (proxied: 89.0.36.137) ---- Manual Page -- https://php.net/manual/en/migration70.deprecated.php Edit -- https://main.php.net/note/edit/126924 Del: integrated -- https://main.php.net/note/delete/126924/integrated Del: useless -- https://main.php.net/note/delete/126924/useless Del: bad code -- https://main.php.net/note/delete/126924/bad+code Del: spam -- https://main.php.net/note/delete/126924/spam Del: non-english -- https://main.php.net/note/delete/126924/non-english Del: in docs -- https://main.php.net/note/delete/126924/in+docs Del: other reasons-- https://main.php.net/note/delete/126924 Reject -- https://main.php.net/note/reject/126924 Search -- https://main.php.net/manage/user-notes.php