diff options
author | Peter Kokot <peterkokot@gmail.com> | 2018-10-14 12:51:01 +0200 |
---|---|---|
committer | Peter Kokot <peterkokot@gmail.com> | 2018-10-14 12:51:01 +0200 |
commit | 03f3b8479b88688e45fd0879b755937fd01f593a (patch) | |
tree | 8cab94a81a619098de26c9a8a9f7060b4229710f /ext/tidy | |
parent | ed64e1d59a546b63334d94f31304921f3d156609 (diff) | |
download | php-git-03f3b8479b88688e45fd0879b755937fd01f593a.tar.gz |
Sync leading and final newlines in source code files
This patch adds missing newlines, trims multiple redundant final
newlines into a single one, and trims redundant leading newlines.
According to POSIX, a line is a sequence of zero or more non-' <newline>'
characters plus a terminating '<newline>' character. [1] Files should
normally have at least one final newline character.
C89 [2] and later standards [3] mention a final newline:
"A source file that is not empty shall end in a new-line character,
which shall not be immediately preceded by a backslash character."
Although it is not mandatory for all files to have a final newline
fixed, a more consistent and homogeneous approach brings less of commit
differences issues and a better development experience in certain text
editors and IDEs.
[1] http://pubs.opengroup.org/onlinepubs/9699919799/basedefs/V1_chap03.html#tag_03_206
[2] https://port70.net/~nsz/c/c89/c89-draft.html#2.1.1.2
[3] https://port70.net/~nsz/c/c99/n1256.html#5.1.1.2
Diffstat (limited to 'ext/tidy')
-rw-r--r-- | ext/tidy/README | 1 | ||||
-rw-r--r-- | ext/tidy/config.w32 | 1 | ||||
-rw-r--r-- | ext/tidy/examples/dumpit5.php | 2 |
3 files changed, 1 insertions, 3 deletions
diff --git a/ext/tidy/README b/ext/tidy/README index 0fb6c0f035..b46a038fad 100644 --- a/ext/tidy/README +++ b/ext/tidy/README @@ -1,4 +1,3 @@ - README FOR ext/tidy by John Coggeshall <john@php.net> diff --git a/ext/tidy/config.w32 b/ext/tidy/config.w32 index 654c1590c9..44b2abeacc 100644 --- a/ext/tidy/config.w32 +++ b/ext/tidy/config.w32 @@ -25,4 +25,3 @@ if (PHP_TIDY != "no") { WARNING("tidy not enabled; libraries and headers not found"); } } - diff --git a/ext/tidy/examples/dumpit5.php b/ext/tidy/examples/dumpit5.php index 1cae9b7d9a..571e0366fb 100644 --- a/ext/tidy/examples/dumpit5.php +++ b/ext/tidy/examples/dumpit5.php @@ -89,4 +89,4 @@ } -?>
\ No newline at end of file +?> |