Fix linting

This commit is contained in:
Nigel Sheldon 2020-11-21 15:51:56 +01:00
commit 1614145b18
262 changed files with 45324 additions and 42695 deletions

View file

@ -1,20 +1,23 @@
<?php
if(!defined('INDEX')) { header('Location: ../'); exit; }
if (!defined('INDEX')) {
header('Location: ../');
exit;
}
$titre = 'Aide';
if (empty($_GET['q'])) $_GET['q'] = '';
switch($_GET['q']){
case '1':
$page = '../aide/avertissements'; break;
case '2':
$page = '../aide/config'; break;
case '3':
$page = '../aide/intro'; break;
case '4':
$page = '../aide/commentjouer'; break;
default:
$page = '../aide/sommaire';
if (empty($_GET['q'])) {
$_GET['q'] = '';
}
?>
switch ($_GET['q']) {
case '1':
$page = '../aide/avertissements'; break;
case '2':
$page = '../aide/config'; break;
case '3':
$page = '../aide/intro'; break;
case '4':
$page = '../aide/commentjouer'; break;
default:
$page = '../aide/sommaire';
}