352ac56266a8ba4fce8b47376e69758861735201
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);
19 function get_filename() { return get_user_id(); };
24 <!DOCTYPE HTML
PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
27 <title
>Philter version
0.9</title
>
28 <meta http
-equiv
="Content-Type" content
="text/html; charset=iso-8859-1" />
29 <meta name
="description" content
="Philter, un créateur de filtres procmails" />
30 <link rel
="stylesheet" type
="text/css" href
="css/default.css" />
31 <script src
="philter.js" language
="javascript1.3" type
="text/javascript"></script
>
36 echo "<p>bad identification</p>";
37 require("include/footer.inc.php");
41 /********************************************************************************
42 * $id: header.inc.php,v 1.2 2003/08/03 16:02:41 madcoder exp $
43 * vim: set expandtab shiftwidth=4 tabstop=4 softtabstop=4 textwidth=100:
44 ********************************************************************************/