banners: move banners to static

.gitignore

@@ -71,8 +71,7 @@ tf/
 /random/
 
 # Banners
-banners/*
-!banners/lain-bottom.png
+static/banners/*
 
 #Fonts
 stylesheets/fonts

banners.php

@@ -1,8 +1,8 @@
 <?php
 
-$files = scandir(__dir__ . '/banners/', SCANDIR_SORT_NONE);
+$files = scandir(__dir__ . '/static/banners/', SCANDIR_SORT_NONE);
 $files = array_diff($files, ['.', '..']);
 
 $filename = $files[array_rand($files)];
-header("Location: /banners/$filename", true, 307);
+header("Location: /static/banners/$filename", true, 307);
 header('Cache-Control: no-cache');

docker/php/bootstrap.sh

@@ -35,7 +35,6 @@ ln -nfs \
 # Static files accessible from the webserver must be copied.
 cp -ur /code/static /var/www/
 cp -ur /code/stylesheets /var/www/
-cp -ur /code/banners /var/www/
 
 # Ensure correct permissions are set, since this might be bind mount.
 chown www-data /var/www