note 125677 added to language.operators

Hope that the search-box in the upper right-hand of PHP Manual pages can show the result when I put any OPERATORs, KEYWORDs, and MAGIC METHODs. The list below which shows "... doesn't exist. Closest matches: " when I put them in the search-box. This makes me sad. (eg.) ?? (OPERATOR) fn (KEYWORDS) __construct (MAGIC METHOD) ---- Server IP: 45.112.84.4 Probable Submitter: 45.91.159.165 (proxied: 180.4.89.148) ---- Manual Page -- http://php.net/manual/en/language.operators.php Edit -- https://master.php.net/note/edit/125677 Del: integrated -- https://master.php.net/note/delete/125677/integrated Del: useless -- https://master.php.net/note/delete/125677/useless Del: bad code -- https://master.php.net/note/delete/125677/bad+code Del: spam -- https://master.php.net/note/delete/125677/spam Del: non-english -- https://master.php.net/note/delete/125677/non-english Del: in docs -- https://master.php.net/note/delete/125677/in+docs Del: other reasons-- https://master.php.net/note/delete/125677 Reject -- https://master.php.net/note/reject/125677 Search -- https://master.php.net/manage/user-notes.php