From 0675156ab2e4911fa1980920b7a189f396ce456c Mon Sep 17 00:00:00 2001
From: Aleksander Machniak <alec@alec.pl>
Date: Sun, 9 Feb 2025 14:27:22 +0100
Subject: [PATCH] Add dummy index.php

---
 bin/installto.sh | 2 +-
 index.php        | 3 +++
 2 files changed, 4 insertions(+), 1 deletion(-)
 create mode 100644 index.php

diff --git a/bin/installto.sh b/bin/installto.sh
index 2eb1f0ee0..ae6a6180a 100755
--- a/bin/installto.sh
+++ b/bin/installto.sh
@@ -77,7 +77,7 @@ if (strtolower($input) == 'y') {
         }
     }
 
-    $files = ['config/defaults.inc.php', 'composer.json-dist', 'jsdeps.json',
+    $files = ['config/defaults.inc.php', 'composer.json-dist', 'jsdeps.json', 'index.php',
         'CHANGELOG.md', 'README.md', 'UPGRADING', 'LICENSE', 'INSTALL',
         'public_html/index.php', 'public_html/installer.php', 'public_html/static.php'];
 
diff --git a/index.php b/index.php
new file mode 100644
index 000000000..7af819d6f
--- /dev/null
+++ b/index.php
@@ -0,0 +1,3 @@
+<?php
+
+exit('Please, configure your HTTP server to point to the /public_html directory (with fallback to /public_html/index.php.');