Lines Matching refs:notes
30 * Print out all user notes for this manual page
32 * @param array<string, UserNote> $notes
34 function manual_notes($notes):void {
46 $sorter->sort($notes);
60 $num_notes = count($notes);
75 // If we have no notes, then inform the user
80 // If we have notes, print them out
82 foreach ($notes as $note) {
92 * Get user notes from the appropriate text dump
99 $notes_file = $_SERVER['DOCUMENT_ROOT'] . "/backend/notes/" .
107 $notes = [];
113 …$notes[$id] = new UserNote($id, $sect, $rate, $ts, $user, base64_decode($note, true), (int) $up, (…
117 return $notes;
171 'https://main.php.net/manage/user-notes.php?action=edit+' . $note->id,
172 '<img src="/images/notes-edit@2x.png" height="12" width="12" alt="edit note">',
178 'https://main.php.net/manage/user-notes.php?action=reject+' . $note->id,
179 '<img src="/images/notes-reject@2x.png" height="12" width="12" alt="reject note">',
185 'https://main.php.net/manage/user-notes.php?action=delete+' . $note->id,
186 '<img src="/images/notes-delete@2x.png" height="12" width="12" alt="delete note">',
