1 <!-- $Id: lockpage.php,v 1.1.2.1.2.3 2005-01-07 14:02:27 rurban Exp $ -->
3 if(isset($lock)) $page = $lock;
4 elseif(isset($unlock)) $page = $unlock;
6 $argv[0] = $page; // necessary for displaying the page afterwards
7 $pagename = rawurldecode($page);
9 $pagehash = RetrievePage($dbi, $pagename, $WikiPageStore);
10 if (! is_array($pagehash))
11 ExitWiki("Unknown page '".htmlspecialchars($pagename)."'\n");
14 $pagehash['flags'] |= FLAG_PAGE_LOCKED;
15 InsertPage($dbi, $pagename, $pagehash);
16 // echo htmlspecialchars($page) . " locked\n";
17 } elseif(isset($unlock)) {
18 $pagehash['flags'] &= ~FLAG_PAGE_LOCKED;
19 InsertPage($dbi, $pagename, $pagehash);
20 // echo htmlspecialchars($page) . " unlocked\n";