/Web/Maintenance/phpMyAdmin/libraries/header_custom.inc.php |
---|
0,0 → 1,11 |
<?php |
/* $Id: header_custom.inc.php,v 2.2 2005/11/25 08:58:11 nijel Exp $ */ |
// vim: expandtab sw=4 ts=4 sts=4: |
// This file includes all custom headers if they exist. |
// Include site header |
if (file_exists('./config.header.inc.php')) { |
require('./config.header.inc.php'); |
} |
?> |