mirror of
https://github.com/php/web-php.git
synced 2026-03-24 07:12:16 +01:00
dd8d8bf863
This patch adds some missing newlines, trims some multiple redundant final newlines into a single one, and trims few 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
40 lines
1.0 KiB
PHP
40 lines
1.0 KiB
PHP
<?php
|
|
$_SERVER['BASE_PAGE'] = 'privacy.php';
|
|
include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc';
|
|
site_header("Privacy Policy", array("current" => "footer"));
|
|
?>
|
|
|
|
<h1>Privacy Policy</h1>
|
|
|
|
<p>
|
|
This privacy policy covers php.net and its associated mirrors.
|
|
</p>
|
|
|
|
<h2>Email</h2>
|
|
<p>
|
|
We will not give away your email address to anyone, who is not related to
|
|
the operations of php.net. We will also never ask you to send us any of
|
|
your passwords via email.
|
|
</p>
|
|
|
|
|
|
<h2>Logfiles</h2>
|
|
<p>
|
|
Most mirrors maintain standard logs of the requests that reach the web servers,
|
|
but we do only use those files for statistical purposes.
|
|
</p>
|
|
<p>
|
|
And to improve your search experience, we store anonymised search terms that
|
|
are submitted to the site.
|
|
</p>
|
|
|
|
<h2>Cookies</h2>
|
|
<p>
|
|
php.net uses cookies to keep track of <a href="/my.php">user preferences</a>. Unless
|
|
you login on the site, the cookies will not be used to store personal information and
|
|
we do not give away the information from the cookies.
|
|
</p>
|
|
|
|
<?php
|
|
site_footer();
|