<?php echo htmlspecialchars($GLOBALS['sitename']); ?>

* @author Christian Weiske * @author Eric Dane * @license GPL http://www.gnu.org/licenses/gpl.html * @link http://sourceforge.net/projects/semanticscuttle * @link http://www.google.com/cse/docs/cref.html */ require_once '../www-header.php'; if ($GLOBALS['enableGoogleCustomSearch'] == false) { header('HTTP/1.0 403 Forbidden'); header('Content-Type: text/plain; charset=utf-8'); echo "Google Custom Search disabled." . " You can enable it into the config.php file.\n"; die(); } ?> <?php echo htmlspecialchars($GLOBALS['sitename']); ?>

Based on Google Custom Search over this list of websites from .

... isLoggedOn() && $currentUser->isAdmin()) { echo '

'; echo T_('Admin tips: '); echo T_('To refresh manually Google Custom Search Engine, goes to: '); echo 'http://www.google.com/coop/cse/cref' . '
'; echo T_('If no result appears, check that all the urls are valid in the admin section.'); echo '

'; } ?>