mirror of
https://github.com/php/web-php.git
synced 2026-03-31 19:52:29 +02:00
the manual without having to browse the notes from the admin-notes page. If the MAGIC_COOKIE cookie is set, another column appears in the annotations -- the X link deletes the note, the E link opens it for editing. Both links target another window to save going back-and-forth.