mirror of
https://github.com/php/web-php.git
synced 2026-03-29 18:52:08 +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.