Lines Matching refs:user
30 * Print out all user notes for this manual page
75 // If we have no notes, then inform the user
92 * Get user notes from the appropriate text dump
112 @list($id, $sect, $rate, $ts, $user, $note, $up, $down) = explode("|", $line);
113 …$notes[$id] = new UserNote($id, $sect, $rate, $ts, $user, base64_decode($note, true), (int) $up, (…
120 // Print out one user note entry
123 if ($note->user) {
124 … $name = "\n <strong class=\"user\"><em>" . htmlspecialchars($note->user) . "</em></strong>";
126 $name = "<strong class=\"user\"><em>Anonymous</em></strong>";
171 'https://main.php.net/manage/user-notes.php?action=edit+' . $note->id,
178 'https://main.php.net/manage/user-notes.php?action=reject+' . $note->id,
185 'https://main.php.net/manage/user-notes.php?action=delete+' . $note->id,
294 // Load user note for this page
