summaryrefslogtreecommitdiff
path: root/header
diff options
context:
space:
mode:
authorPeter Kokot <peterkokot@gmail.com>2019-04-27 22:31:13 +0200
committerPeter Kokot <peterkokot@gmail.com>2019-05-17 23:45:05 +0200
commit63ef554fe48a042088066fc97a7422cbfe983205 (patch)
tree5c4e5ba869d9381050e1b76b32e86167a68c2807 /header
parent0f7d641724d2f36548256fef9f1adcd1c9208bcc (diff)
downloadphp-git-63ef554fe48a042088066fc97a7422cbfe983205.tar.gz
Move copyright/license headers to CONTRIBUTING.md
These are more like a general contribution guidelines for the new files added to the php-src repository.
Diffstat (limited to 'header')
-rw-r--r--header17
1 files changed, 0 insertions, 17 deletions
diff --git a/header b/header
deleted file mode 100644
index af9d762f5f..0000000000
--- a/header
+++ /dev/null
@@ -1,17 +0,0 @@
-/*
- +----------------------------------------------------------------------+
- | PHP Version 7 |
- +----------------------------------------------------------------------+
- | Copyright (c) The PHP Group |
- +----------------------------------------------------------------------+
- | This source file is subject to version 3.01 of the PHP license, |
- | that is bundled with this package in the file LICENSE, and is |
- | available through the world-wide-web at the following url: |
- | https://php.net/license/3_01.txt |
- | If you did not receive a copy of the PHP license and are unable to |
- | obtain it through the world-wide-web, please send a note to |
- | license@php.net so we can mail you a copy immediately. |
- +----------------------------------------------------------------------+
- | Author: |
- +----------------------------------------------------------------------+
-*/