use scripting interface to send files

[jirafeau_mojo42.git] / lib / template / header.php
diff --git a/lib/template/header.php b/lib/template/header.php

index 53c8a0e302eb30bca4f83e049446b846a59c72dc..264cf343e192e9e1a0f74d578726dde119cc8b73 100644 (file)
--- a/lib/template/header.php
+++ b/lib/template/header.php
@@ -29,6 +29,6 @@ else
    <link href="<?php echo $web_root . 'media/' . $style . '/style.css.php'; ?>" rel="stylesheet" type="text/css" />
  </head>
  <body>
-
+<script language="Javascript" src="lib/functions.js"></script>
  <div id="content">
  <h1><a href="<?php echo $web_root; ?>"><?php echo t('Jirafeau, your web file repository'); ?></a></h1>