3 <!-- The top navigation/search bar -->
6 $curuserprefs = $user->getPreferences();
9 <tr><td class="submenu"><?= WikiLink(_("HomePage"), "","Home Page") ?></td></tr>
10 <tr><td class="submenu"><?= WikiLink(_("RecentChanges"), "","Recent Changes") ?></td></tr>
11 <tr><td class="submenu"><?= WikiLink(_("SpecialPages"), "","Special Pages") ?></td></tr>
12 <?php if ($curuserprefs->get('searchMenuItem')) { ?>
13 <tr><td class="submenu"><?= WikiLink(_("FindPage"), "","Search") ?></td></tr>
15 <?php if ($curuserprefs->get('randomPageMenuItem')) { ?>
16 <tr><td class="submenu"><?= WikiLink(_("RandomPage"), "","Random Page") ?></td></tr>
18 <?php if (!empty($revision)) { ?>
20 <tr><td class="submenu"><?= Button(array('action'=>'LikePages'),_("Like Pages"),$page->getName()) ?></td></tr>
23 <tr><td class="submenu"><?= WikiLink(_("UpLoad"), "","Upload File") ?></td></tr>
24 <?php if (!empty($user) && $user->isAdmin()) { ?>
25 <tr><td class="submenu"><?= WikiLink(_("PhpWikiAdministration"), "","Wiki Admin") ?></td></tr>
27 <?php if (!empty($user) && $user->isSignedIn()) { ?>
28 <tr><td class="submenu"><?= WikiLink(_("UserPreferences"), "","User Preferences") ?></td></tr>