Add license/copyright file headers to index.php and index.php.dist

This commit is contained in:
Daniel Rudolf 2017-10-19 22:26:43 +02:00
parent 61319b011e
commit 63616b5888
No known key found for this signature in database
GPG key ID: A061F02CD8DE4538
2 changed files with 20 additions and 0 deletions

View file

@ -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')) {

View file

@ -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) {