delta/php-git.git/scripts/dev, branch php-7.3.0beta3

Remove some old parts of the php

2018-08-25T09:58:17+00:00

Since ba138a3746b3077ebe5b7356b5b49f21cfc30438 the generate-phpt library
has been unbundled from the php-src. This patch cleans two remaining
parts.

Remove unused Git attributes ident

2018-07-24T22:53:25+00:00

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.

Removed the generated-tests library, this is a left Zöe's phpruntests repository it seems and never fully implemented. The only times this part of the code has been touched throughout the years has been minor PRs and entire php-src grep commits.

2018-07-23T15:38:26+00:00

If anything this belongs to the phpruntests.git repository.

[ci skip] Remove trailing WS

2018-06-04T22:21:36+00:00

Since commit 2238403 removed respective trailing WS in files generated
by this script, we remove the trailing WS in the first place, to avoid
further mundane merge conflicts.

[1] http://git.php.net/?p=php-src.git;a=commit;h=2238403892ccf87143a59814538d9f764509d9e7

Fix some misspellings

2018-02-06T15:59:00+00:00

Simplify returns in generate-phpt

2018-01-26T21:19:08+00:00

Merge branch 'PHP-7.1' into PHP-7.2

2018-01-03T08:00:34+00:00

* PHP-7.1:
  Happy new year (Update copyright to 2018)

2018-01-02T21:42:29+00:00

Set default value for some properties in generate-phpt

2017-12-13T20:28:29+00:00

fix stub to accept user properly

2017-01-09T15:57:46+00:00