2 if (isset($_GET['token'])) {
3 @list ($username, $token) = explode(':', $_GET['token']);
4 $userdir = strtolower("profile/$username");
5 if ($verify = @file_get_contents("$userdir/.token")
6 and $verify == $token) {
14 print "<p class=warn>Code onjuist, geen toestemming om wachtwoord in te stellen.</p>\n";
19 http_response_code(303);
20 $target = urlencode($_SERVER['REQUEST_URI']);
21 header("Location: /login?goto=$target");
26 require_once('login/pass.inc.php');
27 $error = passform($User, $_POST);
29 print "<p>Het wachtwoord is aangepast. Voortaan met het nieuwe wachtwoord inloggen.</p>\n\n";
32 print "<p class=warn>$error</p>\n\n";
38 <?php if (!empty($User['pass'])) { ?>
39 <input type="password" name="oldpass" value="" placeholder="Huidig wachtwoord" />
41 <input type="password" name="newpass" value="" placeholder="Nieuw wachtwoord" />
42 <input type="password" name="passconf" value="" placeholder="Nogmaals" />
43 <input type="submit" value="Wijzig" />