}
// }}}
+// {{{ Firefox
+
+function addFirefoxEngine() {
+ if ((typeof window.sidebar == "object") && (typeof window.sidebar.addSearchEngine == "function")) {
+ window.sidebar.addSearchEngine(
+ "http://www.polytechnique.org/xorg.src",
+ "http://www.polytechnique.org/images/xorg.png",
+ "Recherche rapide X.org",
+ "Academic");
+ } else { alert("Impossible d'installer la barre de recherche Firefox"); }
+}
+
+
+// }}}
// {{{ Events
function eventClosure(obj, methodName) {
{if $smarty.session.auth ge AUTH_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|replace:"https":"http"}/xorg.src",
- "{$baseurl|replace:"https":"http"}/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>Tu peux <a href="javascript:addFirefoxEngine()">installer</a> la barre de recherche rapide directement dans ton navigateur.
</p>
{/if}