From e39216f7bf2ea3814fe25b1d4db09be57893c645 Mon Sep 17 00:00:00 2001
From: Adrien MALINGREY <adrien@malingrey.fr>
Date: Sun, 3 Nov 2019 13:28:30 +0100
Subject: [PATCH] remove old files
---
settings.php | 32 --------------------------------
1 file changed, 32 deletions(-)
delete mode 100644 settings.php
diff --git a/settings.php b/settings.php
deleted file mode 100644
index 2d05086..0000000
--- a/settings.php
+++ /dev/null
@@ -1,32 +0,0 @@
-<!DOCTYPE html>
-<html>
-<head>
- <meta charset="utf-8" />
- <title>Webtris</title>
- <link rel="icon" type="image/png" href="favicon.png">
- <link rel="stylesheet" type="text/css" href="css/style.css" />
- <script type="text/javascript" src="js/settings.js"></script>
-</head>
-<body>
- <h1>WEBTRIS</h1>
- <div id="settings">
-<?php
- function addButton($action, $label) {
-?>
- <div><?=$label?></div>
- <button type="button" onclick="changeKey(this, '<?=$action?>')">
- <script>getKey("<?=$action?>")</script>
- </button>
-<?php }
- addButton("moveLeft", "GAUCHE");
- addButton("moveRight", "DROITE");
- addButton("softDrop", "CHUTE LENTE");
- addButton("hardDrop", "CHUTE RAPIDE");
- addButton("rotateCW", "ROTATION HORAIRE");
- addButton("rotateCCW", "ROTATE INVERSE");
- addButton("hold", "GARDE");
- addButton("pause", "PAUSE");
-?>
- </div>
-</body>
-</html>
\ No newline at end of file