These notes are only visible at gtk.php.net because that's where the database that stores them is located. If (when) the PHP-GTK website is mirrored in several locations, we'll work out a way of having the notes available across all the mirror sites.
Manual Notes Queue Administration\n\n"; $notesfile = $queuefile; $queue = '&q'; } else { echo "Note $id deleted successfully
"; } else { print "Unable to delete note $id
"; } sqlite_close($db); } if (isset($_GET['edit']) && is_numeric($_GET['edit'])) { $db = sqlite_open($notesfile); $query = sqlite_query($db, "SELECT * FROM notes WHERE id = ".$_GET['edit']); $row = sqlite_fetch_array($query, SQLITE_ASSOC); $email = stripslashes($row['email']); $comment = stripslashes($row['comment']); if (substr($email, 0, 3) == 'GTK_') { $email = null; } $get = isset($_GET['let']) ? "?let={$_GET['let']}" : null; if (!$get) { $get = isset($_GET['y']) ? "?y={$_GET['y']}" : null; } if ($get) $get .= $queue ? '&q': null; else $get .= $queue ? '?q': null; echo '\n"; sqlite_close($db); commonFooter(); exit; } if (isset($_POST['modify'])) { $db = sqlite_open($notesfile); $query = sqlite_query($db, "SELECT * FROM notes WHERE id = ".$_POST['id']); $row = sqlite_fetch_array($query, SQLITE_ASSOC); $add_url = "\n\nhttp://gtk.php.net/manual/{$row['lang']}/{$row['page']}\n"; $note = htmlentities($_POST['note'], ENT_COMPAT, 'UTF-8'); $note = sqlite_escape_string($note); $note = stripslashes($note); // get rid of double slashes $query = "UPDATE notes SET"; if (!empty($_POST['email'])) $query .= " email='{$_POST['email']}',"; $query .= " comment='$note' WHERE id='{$row['id']}'"; if (sqlite_exec($db, $query)) { echo "Record {$row['id']} modified successfully
"; if ($mail) mail($mailto, "note {$row['id']} modified: {$row['page']}", $note.$add_url, "From: $user@php.net"); } else { echo "Record {$row['id']} not modified (query failed)
"; } sqlite_close($db); } } else { commonHeader("Browse Manual Notes"); $order = isset($_POST['order']) ? $_POST['order'] : null; if (isset($order)) { if (!isset($_COOKIE['order']) || (isset($_COOKIE['order']) && $order != $_COOKIE['order'])) { setcookie('order', $order, time()+(3600*24), '/'); } } else { if (isset($_COOKIE['order'])) { $order = $_COOKIE['order']; } else { $order = 'page'; } } echo '