Rename files as a workaround for previously misconfigured web cache

3 years ago · c693de6d29
parent a53bbeee22
commit c693de6d29
3 changed files with 2 additions and 2 deletions
--- a/html_generator.php
+++ b/html_generator.php
@ -9,8 +9,8 @@
 			"	<head>" . PHP_EOL .
 			"		<meta charset=\"UTF-8\">" . PHP_EOL .
 			"		<link rel=\"icon\" type=\"image/svg+xml\" href=\"favicon.svg\" sizes=\"any\">" . PHP_EOL .
-			"		<link rel=\"stylesheet\" href=\"styles.css\">" . PHP_EOL .
-			"		<script src=\"script.js\" defer></script>" . PHP_EOL .
+			"		<link rel=\"stylesheet\" href=\"styles2.css\">" . PHP_EOL .
+			"		<script src=\"script2.js\" defer></script>" . PHP_EOL .
 			"		<title>" . $title . "</title>" . PHP_EOL .
 			"	</head>" . PHP_EOL .
 			"	<body onload=\"onLoad(" . $timestamp . ")\">" . PHP_EOL;
--- a/output/script2.js
+++ b/output/script2.js
--- a/output/styles2.css
+++ b/output/styles2.css