zeg1jeux/header.php

48 lines
1.1 KiB
PHP
Raw Normal View History

2022-10-26 13:03:52 +02:00
<?php
$webpageTitle = isset($webpageTitle) ? $webpageTitle : DEFAULT_WEBPAGE_TITLE;
?><!DOCTYPE html>
2022-10-21 21:26:41 +02:00
<html>
<head>
2022-10-26 13:03:52 +02:00
<title><?php echo $webpageTitle; ?></title>
2022-10-21 21:26:41 +02:00
<?php
2022-10-31 20:12:51 +01:00
if (isset($_SESSION['gameId']) and ((isset($bodyIds) and strpos($bodyIds, 'startpage') === false)) or (!isset($bodyIds))) {
2022-10-26 13:03:52 +02:00
$themeCSSDir = 'themes/'. $_SESSION['gameId'] . '/css';
$files = scandir($themeCSSDir);
$files = array_slice($files, 2);
2022-10-21 21:26:41 +02:00
foreach ($files as $f) {
echo '
<link rel="stylesheet" type="text/css" href="'. $themeCSSDir . '/' . $f .'" title="'. $games[$_SESSION['gameId']]['title'] .'" />';
}
2022-10-26 13:03:52 +02:00
}
2022-10-21 21:26:41 +02:00
?>
<link rel="stylesheet" type="text/css" href="themes/layout.css" />
<link rel="stylesheet" type="text/css" href="themes/deco.css" />
2022-10-21 21:26:41 +02:00
<meta name="viewport" content="width=device-width, initial-scale=1" />
2022-10-31 20:12:51 +01:00
<?php
foreach ($javascripts['header'] as $js) {
echo '
<script src="'. $js . '"></script>
';
}
?>
2022-10-21 21:26:41 +02:00
</head>
<?php
$bodyIds = !isset($bodyIds) ? '' : ' id="'. $bodyIds .'"';
?>
<body<?php echo $bodyIds; ?>>
<!--
<h1>La bureautique</h1>
-->
<main>