git-archimport-id: opensource@polytechnique.org--2005/platal--mainline--0.9--patch-720
require_once("applis.func.inc.php");
require_once("geoloc.inc.php");
+$page->assign('baseurl', $globals->baseurl);
+
if (Env::has('quick')) {
$page->assign('formulaire', 0);
--- /dev/null
+# Mozilla/Polytechnique.org plug-in by contact@polytechnique.org
+
+<search
+ name="Polytechnique.org"
+ description="Recherche rapide X.org"
+ method="GET"
+ action="http://www.polytechnique.org/search.php"
+ update="http://www.polytechnique.org/xorg.src"
+ updateCheckDays=30
+ queryEncoding="ISO-8859-15"
+ queryCharset="ISO-8859-15">
+
+<input name="quick" user>
+</search>
sans distinction de casse et sans tenir compte des accents.
</p>
+{min_auth level="cookie"}
+<h2>Barre de recherche pour Firefox</h2>
+<script type="text/javascript">
+{literal}
+function addEngine() {
+ if ((typeof window.sidebar == "object") && (typeof window.sidebar.addSearchEngine == "function")) {
+ {/literal}
+ window.sidebar.addSearchEngine(
+ "{$baseurl}/xorg.src",
+ "{$baseurl}/images/xorg.png",
+ "Recherche rapide X.org",
+ "Academic");
+ {literal}
+ } else { alert("Impossible d'installer la barre de recherche Firefox"); }
+}
+{/literal}
+</script>
+<p>Tu peux <a href="javascript:addEngine()">installer</a> la barre de recherche rapide directement dans ton navigateur.
+</p>
+{/min_auth}
{* vim:set et sw=2 sts=2 sws=2: *}