diff options
author | Peter Kokot <peterkokot@gmail.com> | 2018-10-14 12:55:24 +0200 |
---|---|---|
committer | Peter Kokot <peterkokot@gmail.com> | 2018-10-14 12:55:24 +0200 |
commit | 1c850bfcca97e0456a716a1889b5cf6c5e477cd8 (patch) | |
tree | 8abc7ddda8e988ba248eefdf3ef05923b7383fbd /main | |
parent | a6d3e56a1ee33f113ee0088b208b2f1bab82c551 (diff) | |
download | php-git-1c850bfcca97e0456a716a1889b5cf6c5e477cd8.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 'main')
-rw-r--r-- | main/streams/php_streams_int.h | 1 | ||||
-rw-r--r-- | main/streams/userspace.c | 2 |
2 files changed, 0 insertions, 3 deletions
diff --git a/main/streams/php_streams_int.h b/main/streams/php_streams_int.h index e0ffccec38..addaf0ce7b 100644 --- a/main/streams/php_streams_int.h +++ b/main/streams/php_streams_int.h @@ -65,4 +65,3 @@ void php_stream_mode_sanitize_fdopen_fopencookie(php_stream *stream, char *resul void php_stream_tidy_wrapper_error_log(php_stream_wrapper *wrapper); void php_stream_display_wrapper_errors(php_stream_wrapper *wrapper, const char *path, const char *caption); - diff --git a/main/streams/userspace.c b/main/streams/userspace.c index e69db525da..37479a48e9 100644 --- a/main/streams/userspace.c +++ b/main/streams/userspace.c @@ -1558,5 +1558,3 @@ const php_stream_ops php_stream_userspace_dir_ops = { NULL, /* stat */ NULL /* set_option */ }; - - |