Searched refs:notes (Results 1 – 6 of 6) sorted by relevance
1 /* the note table holds notes for the php manual. */5 edit their own notes. */11 master.php.net/entry/user-notes-vote.php12 master.php.net/fetch/user-notes.php13 master.php.net/manage/user-notes.php31 -- New votes table added for keeping track of user notes ratings
6 * 'subscription' to notes updates of manual sections53 /* the user_note table just contains notes about each user. */
29 $notes = []; variable31 $notes[$row['id']] = $row;47 <?php if ($notes) { ?>
4 // Build complete file with all notes28 /* get user notes */75 echo "unable to open $notes file $hash\n";
4 // stock reasons for deleting notes
35 ["href" => "/manage/user-notes.php", "text" => "Notes"],48 if (strstr($_SERVER["SCRIPT_FILENAME"], "user-notes.php")) {49 …SEARCH = ["method" => "get", "action" => "/manage/user-notes.php", "placeholder" => "Search notes …
Completed in 11 milliseconds