diff options
| author | Dries Buytaert <dries@buytaert.net> | 2001-06-30 09:50:36 +0000 |
|---|---|---|
| committer | Dries Buytaert <dries@buytaert.net> | 2001-06-30 09:50:36 +0000 |
| commit | e6a67118ebfe21dcc7646676f808d1f4b2fc3a83 (patch) | |
| tree | 8da776874e78d6daab8466c0b27be83008462b85 /themes | |
| parent | 7c1b20fe49310c9dc36b837e56277f4cc62534fd (diff) | |
| download | brdo-e6a67118ebfe21dcc7646676f808d1f4b2fc3a83.tar.gz brdo-e6a67118ebfe21dcc7646676f808d1f4b2fc3a83.tar.bz2 | |
- Made search.php a module, being search.module.
- Updated the permission names to be more consistent.
- Small improvement to node.php.
Diffstat (limited to 'themes')
| -rw-r--r-- | themes/jeroen/jeroen.theme | 2 | ||||
| -rw-r--r-- | themes/yaroon/yaroon.theme | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/themes/jeroen/jeroen.theme b/themes/jeroen/jeroen.theme index 739c7b16e..a4d0a30f7 100644 --- a/themes/jeroen/jeroen.theme +++ b/themes/jeroen/jeroen.theme @@ -56,7 +56,7 @@ $this->box("Drop where?", "<td align=\"left\" valign=\"top\"> <a href=\"index.php\">home</a><br /> <a href=\"module.php?mod=book\">handbook</a><br /> - <a href=\"search.php\">search</a> + <a href=\"module.php?mod=search\">search</a> </td> <td align=\"right\" valign=\"top\"> <a href=\"module.php?mod=diary\">diary</a><br /> diff --git a/themes/yaroon/yaroon.theme b/themes/yaroon/yaroon.theme index f0dd622a5..50c7fafb1 100644 --- a/themes/yaroon/yaroon.theme +++ b/themes/yaroon/yaroon.theme @@ -78,7 +78,7 @@ <option value="module.php?mod=book" <?php if (strstr($REQUEST_URI, "mod=book")) { echo "selected"; $true = 1; } ?>>Handbook</option> <option value="module.php?mod=cvs" <?php if (strstr($REQUEST_URI, "mod=cvs")) { echo "selected"; $true = 1; } ?>>CVS</option> <option value="submit.php" <?php if (strstr($PHP_SELF, "submit.php")) { echo "selected"; $true = 1; } ?>>Submit</option> - <option value="search.php" <?php if (strstr($PHP_SELF, "search.php")) { echo "selected"; $true = 1; } ?>>Search</option> + <option value="module.php?mod=search" <?php if (strstr($REQUEST_URI, "mod=search")) { echo "selected"; $true = 1; } ?>>Search</option> <option value="module.php?mod=rating" <?php if (strstr($REQUEST_URI, "mod=rating")) { echo "selected"; $true = 1; } ?>>Rating</option> <?php if ($REQUEST_URI == "/module.php?mod=queue") { $true = 1; echo "<option selected>Moderation</option>"; } if (!$true) { echo "<option selected>"; if($cid) echo "Node $cid"; else if($id) echo "Node $id"; else echo "Other"; echo"</option>"; } ?> |