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 /main | |
| 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 '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 9c05bff66d..5d2fa9f352 100644 --- a/main/streams/php_streams_int.h +++ b/main/streams/php_streams_int.h @@ -68,4 +68,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 31a7908930..9acce0701f 100644 --- a/main/streams/userspace.c +++ b/main/streams/userspace.c @@ -1570,5 +1570,3 @@ php_stream_ops php_stream_userspace_dir_ops = { NULL, /* stat */ NULL /* set_option */ }; - - |