From 63616b5888283b2f8e4648088485f266a31c827a Mon Sep 17 00:00:00 2001
From: Daniel Rudolf <github.com@daniel-rudolf.de>
Date: Thu, 19 Oct 2017 22:26:43 +0200
Subject: [PATCH] Add license/copyright file headers to index.php and
 index.php.dist

---
 index.php      | 10 ++++++++++
 index.php.dist | 10 ++++++++++
 2 files changed, 20 insertions(+)

diff --git a/index.php b/index.php
index 4fb0d55..45ecdd2 100644
--- a/index.php
+++ b/index.php
@@ -1,4 +1,14 @@
 <?php // @codingStandardsIgnoreFile
+/**
+ * This file is part of Pico. It's copyrighted by the contributors recorded
+ * in the version control history of the file, available from the following
+ * original location:
+ *
+ * <https://github.com/picocms/Pico/blob/master/index.php>
+ *
+ * SPDX-License-Identifier: MIT
+ * License-Filename: LICENSE
+ */
 
 // load dependencies
 if (is_file(__DIR__ . '/vendor/autoload.php')) {
diff --git a/index.php.dist b/index.php.dist
index 78125ad..59639ad 100644
--- a/index.php.dist
+++ b/index.php.dist
@@ -1,4 +1,14 @@
 <?php // @codingStandardsIgnoreFile
+/**
+ * This file is part of Pico. It's copyrighted by the contributors recorded
+ * in the version control history of the file, available from the following
+ * original location:
+ *
+ * <https://github.com/picocms/Pico/blob/master/index.php.dist>
+ *
+ * SPDX-License-Identifier: MIT
+ * License-Filename: LICENSE
+ */
 
 // check PHP platform requirements
 if (PHP_VERSION_ID < 50306) {