diff options
author | Peter Kokot <peterkokot@gmail.com> | 2018-07-03 02:52:16 +0200 |
---|---|---|
committer | Christoph M. Becker <cmbecker69@gmx.de> | 2018-07-25 00:53:25 +0200 |
commit | 8d3f8ca12a0b00f2a74a27424790222536235502 (patch) | |
tree | f35ddbdb8b5bc9259712d0275cb461ab7de9b7b9 /main/streams/php_stream_userspace.h | |
parent | dcd6a6ff367a91f8c03303a4dc2e3c8b17d692ed (diff) | |
download | php-git-8d3f8ca12a0b00f2a74a27424790222536235502.tar.gz |
Remove unused Git attributes ident
The $Id$ keywords were used in Subversion where they can be substituted
with filename, last revision number change, last changed date, and last
user who changed it.
In Git this functionality is different and can be done with Git attribute
ident. These need to be defined manually for each file in the
.gitattributes file and are afterwards replaced with 40-character
hexadecimal blob object name which is based only on the particular file
contents.
This patch simplifies handling of $Id$ keywords by removing them since
they are not used anymore.
Diffstat (limited to 'main/streams/php_stream_userspace.h')
-rw-r--r-- | main/streams/php_stream_userspace.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/main/streams/php_stream_userspace.h b/main/streams/php_stream_userspace.h index fd98dd24cf..1324d70da0 100644 --- a/main/streams/php_stream_userspace.h +++ b/main/streams/php_stream_userspace.h @@ -16,9 +16,6 @@ +----------------------------------------------------------------------+ */ -/* $Id$ */ - - /* for user-space streams */ PHPAPI extern const php_stream_ops php_stream_userspace_ops; PHPAPI extern const php_stream_ops php_stream_userspace_dir_ops; |