3 $split = $WikiTheme->_autosplitWikiWords;
4 $WikiTheme->setAutosplitWikiWords(true);
6 <!-- The top navigation/search bar -->
8 <!-- · ?= WikiLink(_("RecentChanges"), "button") ? -->
10 array('SEARCH_AFTER' =>
11 HTML::button(array('type' => 'submit', 'id' => 'searchGoButton'),
12 HTML::img(array('src' => $WikiTheme->getImageURL("search"),
13 'alt' => 'search'))))) ?>
14 <?=$SEP?><?= WikiLink(_("FindPage"), "button",_("Full Search")) ?>
16 if (ENABLE_DISCUSSION_LINK) { // This requires Talk: map to end in "/Discussion"
17 if (!string_ends_with($page->getName(), _("Discussion"))) { ?>
18 <?=$SEP?><?= WikiLink(new WikiPagename('Talk:'.$page->getName(), $page->getName()),
19 'button', _("Discussion")) ?>
21 <?=$SEP?><?= Button(array(),_("Article"),$page->getName()) ?>
24 <?php if (!empty($revision)) { ?>
25 <?=$SEP?><?=Button(_("BackLinks")) ?>
27 <?php if (!empty($user) && $user->isAdmin()) { ?>
28 <?=$SEP?><?= WikiLink(_("PhpWikiAdministration"), "button", _("Admin")) ?>
30 $WikiTheme->setAutosplitWikiWords($split); ?></div>