f370a24ae0a3c9ce10c97dbe3ef3efd5faf0e344
2 /********************************************************************************
3 * install.d/header.inc.php : Default header
4 * ------------------------
6 * This file is part of the philter distribution
7 * Copyright: See COPYING files that comes with this distribution
8 ********************************************************************************/
9 function get_user_id() {
10 return (isset($_GET['uid']) ?
$_GET['uid'] : 0);
20 <!DOCTYPE HTML
PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
23 <title
>Philter version
0.1</title
>
24 <meta http
-equiv
="Content-Type" content
="text/html; charset=iso-8859-1" />
25 <meta name
="description" content
="Philter, un créateur de filtres procmails" />
26 <link rel
="stylesheet" type
="text/css" href
="css/default.css" />
27 <script src
="include/philter.js" language
="javascript1.3" type
="text/javascript"></script
>
32 echo "<p>bad identification</p>";
33 require("include/footer.inc.php");
37 /********************************************************************************
38 * $id: header.inc.php,v 1.2 2003/08/03 16:02:41 madcoder exp $
39 * vim: set expandtab shiftwidth=4 tabstop=4 softtabstop=4 textwidth=100:
40 ********************************************************************************/