com web/php: Remove unused Git attributes ident: ChangeLog-4.php ChangeLog-5.php archive/1998.php archive/1999.php archive/2000.php archive/2001.php
archive/2002.php archive/2003.php archive/2004.php archive/2005.php archive/2006.php archive/2007.php archive/2008.php archive/2009.php
archive/2010.php archive/2011.php archive/2012.php archive/index.php backend/index.php bin/index.php build-setup.php cal.php conferences/index.php
contact.php copyri

Commit: 0f95b8c7092395df67ee7c86fe25cb130d0db2e2 Author: Peter Kokot <peterkokot@gmail.com> Sat, 30 Jun 2018 19:00:18 +0200 Parents: 25b86272621ba77405fa13b59bd78179efcc5fd5 Branches: master Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=0f95b8c7092395df67ee7c86fe25cb130d0db2e2 Log: Remove unused Git attributes ident 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.

M ChangeLog-4.php M ChangeLog-5.php M archive/1998.php M archive/1999.php M archive/2000.php M archive/2001.php M archive/2002.php M archive/2003.php M archive/2004.php M archive/2005.php M archive/2006.php M archive/2007.php M archive/2008.php M archive/2009.php M archive/2010.php M archive/2011.php M archive/2012.php M archive/index.php M backend/index.php M bin/index.php M build-setup.php M cal.php M conferences/index.php M contact.php M copyright.php M credits.php M docs.php M download-docs.php M download-logos.php M downloads.php M elephpant.php M error.php M get-involved.php M git.php M images/index.php M include/changelogs.inc M include/do-download.inc M include/email-validation.inc M include/errors.inc M include/get-download.inc M include/header.inc M include/index.php M include/ip-to-country.inc M include/langchooser.inc M include/languages.inc M include/layout.inc M include/loadavg.inc M include/manual-lookup.inc M include/posttohost.inc M include/prepend.inc M include/results.inc M include/shared-manual.inc M include/shared-stat.inc M include/site.inc M license/contrib-guidelines-code.php M license/distrib-guidelines-code.php M license/index.php M mailing-lists.php M manual-lookup.php M manual/add-note.php M manual/change.php M manual/help-translate.php M manual/index.php M manual/php3.php M manual/phpfi2.php M manual/spam_challenge.php M manual/vote-note.php M mirror-info.php M mirror.php M mirroring-stats.php M mirroring-troubles.php M mirroring.php M mirrors.php M mod.php M my.php M pear/index.php M quickref.php M releases/4_1_0.php M releases/4_1_0_fr.php M releases/4_1_1.php M releases/4_1_2_win32.php M releases/4_2_0.php M releases/4_2_0_fr.php M releases/4_2_1.php M releases/4_2_1_fr.php M releases/4_2_2.php M releases/4_2_2_fr.php M releases/4_3_0.php M releases/4_3_0_fr.php M releases/4_3_1.php M releases/4_3_10.php M releases/4_3_10_fr.php M releases/4_3_11.php M releases/4_3_11_fr.php M releases/4_3_2.php M releases/4_3_2_fr.php M releases/4_3_3.php M releases/4_3_3_fr.php M releases/4_3_4.php M releases/4_3_4_fr.php M releases/4_3_5.php M releases/4_3_5_fr.php M releases/4_3_6.php M releases/4_3_6_fr.php M releases/4_3_7.php M releases/4_3_7_fr.php M releases/4_3_8.php M releases/4_3_9.php M releases/4_3_9_fr.php M releases/4_4_0.php M releases/4_4_1.php M releases/4_4_2.php M releases/4_4_3.php M releases/4_4_4.php M releases/4_4_5.php M releases/4_4_6.php M releases/4_4_7.php M releases/4_4_8.php M releases/4_4_9.php M releases/5_1_0.php M releases/5_1_1.php M releases/5_1_2.php M releases/5_1_3.php M releases/5_1_4.php M releases/5_1_5.php M releases/5_1_6.php M releases/5_2_0.php M releases/5_2_1.php M releases/5_2_10.php M releases/5_2_11.php M releases/5_2_12.php M releases/5_2_13.php M releases/5_2_14.php M releases/5_2_15.php M releases/5_2_16.php M releases/5_2_17.php M releases/5_2_2.php M releases/5_2_3.php M releases/5_2_4.php M releases/5_2_5.php M releases/5_2_6.php M releases/5_2_7.php M releases/5_2_8.php M releases/5_2_9.php M releases/5_3_0.php M releases/5_3_1.php M releases/5_3_10.php M releases/5_3_11.php M releases/5_3_12.php M releases/5_3_13.php M releases/5_3_14.php M releases/5_3_15.php M releases/5_3_16.php M releases/5_3_17.php M releases/5_3_18.php M releases/5_3_19.php M releases/5_3_2.php M releases/5_3_20.php M releases/5_3_21.php M releases/5_3_22.php M releases/5_3_23.php M releases/5_3_24.php M releases/5_3_25.php M releases/5_3_26.php M releases/5_3_27.php M releases/5_3_28.php M releases/5_3_29.php M releases/5_3_3.php M releases/5_3_4.php M releases/5_3_5.php M releases/5_3_6.php M releases/5_3_7.php M releases/5_3_8.php M releases/5_3_9.php M releases/5_4_0.php M releases/5_4_1.php M releases/5_4_10.php M releases/5_4_11.php M releases/5_4_12.php M releases/5_4_13.php M releases/5_4_14.php M releases/5_4_15.php M releases/5_4_16.php M releases/5_4_17.php M releases/5_4_18.php M releases/5_4_19.php M releases/5_4_2.php M releases/5_4_20.php M releases/5_4_21.php M releases/5_4_22.php M releases/5_4_23.php M releases/5_4_24.php M releases/5_4_25.php M releases/5_4_26.php M releases/5_4_27.php M releases/5_4_28.php M releases/5_4_29.php M releases/5_4_3.php M releases/5_4_30.php M releases/5_4_31.php M releases/5_4_32.php M releases/5_4_33.php M releases/5_4_34.php M releases/5_4_35.php M releases/5_4_36.php M releases/5_4_37.php M releases/5_4_38.php M releases/5_4_39.php M releases/5_4_4.php M releases/5_4_40.php M releases/5_4_41.php M releases/5_4_42.php M releases/5_4_43.php M releases/5_4_44.php M releases/5_4_45.php M releases/5_4_5.php M releases/5_4_6.php M releases/5_4_7.php M releases/5_4_8.php M releases/5_4_9.php M releases/5_5_0.php M releases/5_5_1.php M releases/5_5_10.php M releases/5_5_11.php M releases/5_5_12.php M releases/5_5_13.php M releases/5_5_14.php M releases/5_5_15.php M releases/5_5_16.php M releases/5_5_17.php M releases/5_5_18.php M releases/5_5_19.php M releases/5_5_2.php M releases/5_5_20.php M releases/5_5_21.php M releases/5_5_22.php M releases/5_5_23.php M releases/5_5_24.php M releases/5_5_25.php M releases/5_5_26.php M releases/5_5_27.php M releases/5_5_28.php M releases/5_5_29.php M releases/5_5_3.php M releases/5_5_30.php M releases/5_5_31.php M releases/5_5_32.php M releases/5_5_33.php M releases/5_5_34.php M releases/5_5_35.php M releases/5_5_36.php M releases/5_5_37.php M releases/5_5_38.php M releases/5_5_4.php M releases/5_5_5.php M releases/5_5_6.php M releases/5_5_7.php M releases/5_5_8.php M releases/5_5_9.php M releases/5_6_0.php M releases/5_6_1.php M releases/5_6_10.php M releases/5_6_11.php M releases/5_6_12.php M releases/5_6_13.php M releases/5_6_14.php M releases/5_6_15.php M releases/5_6_16.php M releases/5_6_17.php M releases/5_6_18.php M releases/5_6_19.php M releases/5_6_2.php M releases/5_6_20.php M releases/5_6_21.php M releases/5_6_22.php M releases/5_6_23.php M releases/5_6_24.php M releases/5_6_25.php M releases/5_6_26.php M releases/5_6_27.php M releases/5_6_28.php M releases/5_6_29.php M releases/5_6_3.php M releases/5_6_30.php M releases/5_6_31.php M releases/5_6_32.php M releases/5_6_33.php M releases/5_6_34.php M releases/5_6_35.php M releases/5_6_36.php M releases/5_6_37.php M releases/5_6_38.php M releases/5_6_4.php M releases/5_6_5.php M releases/5_6_6.php M releases/5_6_7.php M releases/5_6_8.php M releases/5_6_9.php M releases/7_0_1.php M releases/7_0_10.php M releases/7_0_11.php M releases/7_0_12.php M releases/7_0_13.php M releases/7_0_14.php M releases/7_0_15.php M releases/7_0_16.php M releases/7_0_17.php M releases/7_0_18.php M releases/7_0_19.php M releases/7_0_2.php M releases/7_0_20.php M releases/7_0_21.php M releases/7_0_22.php M releases/7_0_23.php M releases/7_0_24.php M releases/7_0_25.php M releases/7_0_26.php M releases/7_0_27.php M releases/7_0_28.php M releases/7_0_29.php M releases/7_0_3.php M releases/7_0_30.php M releases/7_0_31.php M releases/7_0_32.php M releases/7_0_4.php M releases/7_0_5.php M releases/7_0_6.php M releases/7_0_7.php M releases/7_0_8.php M releases/7_0_9.php M releases/7_1_0.php M releases/7_1_1.php M releases/7_1_10.php M releases/7_1_11.php M releases/7_1_12.php M releases/7_1_13.php M releases/7_1_14.php M releases/7_1_15.php M releases/7_1_16.php M releases/7_1_17.php M releases/7_1_18.php M releases/7_1_19.php M releases/7_1_2.php M releases/7_1_20.php M releases/7_1_21.php M releases/7_1_22.php M releases/7_1_23.php M releases/7_1_3.php M releases/7_1_4.php M releases/7_1_5.php M releases/7_1_6.php M releases/7_1_7.php M releases/7_1_8.php M releases/7_1_9.php M releases/7_2_0.php M releases/7_2_1.php M releases/7_2_10.php M releases/7_2_11.php M releases/7_2_2.php M releases/7_2_3.php M releases/7_2_4.php M releases/7_2_5.php M releases/7_2_6.php M releases/7_2_7.php M releases/7_2_8.php M releases/7_2_9.php M releases/index.php M results.php M search.php M security-note.php M security/crypt_blowfish.php M security/index.php M sitemap.php M software.php M stats/index.php M styles/index.php M submit-event.php M support.php M thanks.php M ug.php M unsub.php M urlhowto.php diff --git a/ChangeLog-4.php b/ChangeLog-4.php index 187eaa0..6bd2158 100644 --- a/ChangeLog-4.php +++ b/ChangeLog-4.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'ChangeLog-4.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/changelogs.inc'; diff --git a/ChangeLog-5.php b/ChangeLog-5.php index 29fdb1c..6fa2942 100644 --- a/ChangeLog-5.php +++ b/ChangeLog-5.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'ChangeLog-5.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/changelogs.inc'; diff --git a/archive/1998.php b/archive/1998.php index 9ca8a77..bbcbbbd 100644 --- a/archive/1998.php +++ b/archive/1998.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'archive/1998.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; news_archive_sidebar(); diff --git a/archive/1999.php b/archive/1999.php index a5ed0f3..b577261 100644 --- a/archive/1999.php +++ b/archive/1999.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'archive/1999.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; news_archive_sidebar(); diff --git a/archive/2000.php b/archive/2000.php index ae35b01..1864158 100644 --- a/archive/2000.php +++ b/archive/2000.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'archive/2000.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; news_archive_sidebar(); diff --git a/archive/2001.php b/archive/2001.php index c1fdb57..6e8cdce 100644 --- a/archive/2001.php +++ b/archive/2001.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'archive/2001.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; news_archive_sidebar(); diff --git a/archive/2002.php b/archive/2002.php index be0523b..4c01478 100644 --- a/archive/2002.php +++ b/archive/2002.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'archive/2002.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; news_archive_sidebar(); diff --git a/archive/2003.php b/archive/2003.php index 59714c1..0c178b0 100644 --- a/archive/2003.php +++ b/archive/2003.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'archive/2003.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; news_archive_sidebar(); diff --git a/archive/2004.php b/archive/2004.php index 614a3c7..3449717 100644 --- a/archive/2004.php +++ b/archive/2004.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'archive/2004.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; news_archive_sidebar(); diff --git a/archive/2005.php b/archive/2005.php index b36fb10..a22b162 100644 --- a/archive/2005.php +++ b/archive/2005.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'archive/2005.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; news_archive_sidebar(); diff --git a/archive/2006.php b/archive/2006.php index 6ce7ebc..249ac46 100644 --- a/archive/2006.php +++ b/archive/2006.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'archive/2006.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; news_archive_sidebar(); diff --git a/archive/2007.php b/archive/2007.php index e89a389..60ff6dd 100644 --- a/archive/2007.php +++ b/archive/2007.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'archive/2007.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; news_archive_sidebar(); diff --git a/archive/2008.php b/archive/2008.php index b3a161d..5296cc4 100644 --- a/archive/2008.php +++ b/archive/2008.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'archive/2008.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; news_archive_sidebar(); diff --git a/archive/2009.php b/archive/2009.php index dc6036c..1b7a2dd 100644 --- a/archive/2009.php +++ b/archive/2009.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'archive/2009.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; news_archive_sidebar(); diff --git a/archive/2010.php b/archive/2010.php index 640f4f9..8e1ac67 100644 --- a/archive/2010.php +++ b/archive/2010.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'archive/2010.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; news_archive_sidebar(); diff --git a/archive/2011.php b/archive/2011.php index 4bf1b74..33e1e2d 100644 --- a/archive/2011.php +++ b/archive/2011.php @@ -1,5 +1,4 @@ <?php -// $Id: 2010.php 293613 2010-01-16 13:38:42Z bjori $ $_SERVER['BASE_PAGE'] = 'archive/2011.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; news_archive_sidebar(); diff --git a/archive/2012.php b/archive/2012.php index 1ad1643..9fd355b 100644 --- a/archive/2012.php +++ b/archive/2012.php @@ -1,5 +1,4 @@ <?php -// $Id: 2010.php 293613 2010-01-16 13:38:42Z bjori $ $_SERVER['BASE_PAGE'] = 'archive/2012.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; news_archive_sidebar(); diff --git a/archive/index.php b/archive/index.php index 47f6d34..b3772ad 100644 --- a/archive/index.php +++ b/archive/index.php @@ -1,5 +1,4 @@ <?php -// $Id$ include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; $i = 0; do { diff --git a/backend/index.php b/backend/index.php index 8e7f8f9..a63cd75 100644 --- a/backend/index.php +++ b/backend/index.php @@ -1,6 +1,4 @@ <?php -// $Id$ - // Simulate a /backend shortcut call (which will lead to a manual page) $_SERVER['REQUEST_URI'] = '/backend'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; diff --git a/bin/index.php b/bin/index.php index f85f2e0..c0a6c92 100644 --- a/bin/index.php +++ b/bin/index.php @@ -1,6 +1,4 @@ <?php -// $Id$ - // Simulate a /bin shortcut call (which will lead to a manual page) $_SERVER['REQUEST_URI'] = '/bin'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; diff --git a/build-setup.php b/build-setup.php index 7928a52..098afde 100644 --- a/build-setup.php +++ b/build-setup.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'get-involved.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; diff --git a/cal.php b/cal.php index f55b0f1..bc6036c 100644 --- a/cal.php +++ b/cal.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'cal.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; diff --git a/conferences/index.php b/conferences/index.php index a066d8b..5b300bc 100644 --- a/conferences/index.php +++ b/conferences/index.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'conferences/index.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/pregen-news.inc'; diff --git a/contact.php b/contact.php index ce00f36..fd160a6 100644 --- a/contact.php +++ b/contact.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'contact.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("Contact", array("current" => "community")); diff --git a/copyright.php b/copyright.php index c3b7c51..ed6280f 100644 --- a/copyright.php +++ b/copyright.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'copyright.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; $SIDEBAR_DATA = ' diff --git a/credits.php b/credits.php index d2dd19e..575db3f 100644 --- a/credits.php +++ b/credits.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'credits.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; diff --git a/docs.php b/docs.php index 1d87558..c414042 100644 --- a/docs.php +++ b/docs.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'docs.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; diff --git a/download-docs.php b/download-docs.php index f0167b0..21c9137 100644 --- a/download-docs.php +++ b/download-docs.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'download-docs.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; diff --git a/download-logos.php b/download-logos.php index da5bfd6..71ba3e7 100644 --- a/download-logos.php +++ b/download-logos.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'download-logos.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; $SIDEBAR_DATA = ' diff --git a/downloads.php b/downloads.php index 9a78bc3..51ce178 100644 --- a/downloads.php +++ b/downloads.php @@ -1,5 +1,4 @@ <?php // vim: et -// $Id$ $_SERVER['BASE_PAGE'] = 'downloads.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/gpg-keys.inc'; diff --git a/elephpant.php b/elephpant.php index 5f4ebad..9da8b82 100644 --- a/elephpant.php +++ b/elephpant.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'elephpant.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; $SIDEBAR_DATA = ' diff --git a/error.php b/error.php index 87e6251..e40f8ff 100644 --- a/error.php +++ b/error.php @@ -1,6 +1,4 @@ <?php -// $Id$ - /* This script handles all 401, 403 and 404 error redirects, diff --git a/get-involved.php b/get-involved.php index 8f3eed7..8408025 100644 --- a/get-involved.php +++ b/get-involved.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'get-involved.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; diff --git a/git.php b/git.php index 404a414..2756aa2 100644 --- a/git.php +++ b/git.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'git.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; $SIDEBAR_DATA = ' diff --git a/images/index.php b/images/index.php index 407e3a0..8e046b4 100644 --- a/images/index.php +++ b/images/index.php @@ -1,6 +1,4 @@ <?php -// $Id$ - // Simulate a /images shortcut call (which will lead to a manual page) $_SERVER['REQUEST_URI'] = '/images'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; diff --git a/include/changelogs.inc b/include/changelogs.inc index ea346b8..ce1e349 100644 --- a/include/changelogs.inc +++ b/include/changelogs.inc @@ -1,6 +1,4 @@ <?php -/* $Id$ */ - function bugfix($number) { echo "Fixed bug "; bugl($number); } @@ -36,4 +34,4 @@ function release_date($in) { echo "<time class='releasedate' datetime='{$for_tools}'>{$human_readable}</time>"; } -?> \ No newline at end of file +?> diff --git a/include/do-download.inc b/include/do-download.inc index 0c58e8b..03cebe6 100644 --- a/include/do-download.inc +++ b/include/do-download.inc @@ -1,7 +1,5 @@ <?php -// $Id$ - /* This code redirects the user to the exact file to download, and logs the download if it's something diff --git a/include/email-validation.inc b/include/email-validation.inc index c5b1ca5..3c38d51 100644 --- a/include/email-validation.inc +++ b/include/email-validation.inc @@ -1,7 +1,5 @@ <?php -// $Id$ - // Try to remove anti-SPAM bits function clean_AntiSPAM($email) { diff --git a/include/errors.inc b/include/errors.inc index 8858fa4..d6d2f15 100644 --- a/include/errors.inc +++ b/include/errors.inc @@ -1,6 +1,4 @@ <?php -// $Id$ - /* This script provides functions to print out error messages for users in case something is diff --git a/include/get-download.inc b/include/get-download.inc index ee16230..3160c66 100644 --- a/include/get-download.inc +++ b/include/get-download.inc @@ -1,6 +1,4 @@ <?php -// $Id$ - // Try to make this page non-cached header_nocache(); diff --git a/include/header.inc b/include/header.inc index be80c80..deec65c 100644 --- a/include/header.inc +++ b/include/header.inc @@ -1,6 +1,4 @@ <?php -/* $Id$ */ - $css_files = array( '/fonts/Fira/fira.css', '/fonts/Font-Awesome/css/fontello.css', diff --git a/include/index.php b/include/index.php index b17210e..e617811 100644 --- a/include/index.php +++ b/include/index.php @@ -1,6 +1,4 @@ <?php -// $Id$ - // Simulate a /include shortcut call (which will lead to a manual page) $_SERVER['REQUEST_URI'] = '/include'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; diff --git a/include/ip-to-country.inc b/include/ip-to-country.inc index 86f8074..bb9f38d 100644 --- a/include/ip-to-country.inc +++ b/include/ip-to-country.inc @@ -1,7 +1,5 @@ <?php // -*- C++ -*- -// $Id$ - /* This script uses the local copy of the ip-to-country.com diff --git a/include/langchooser.inc b/include/langchooser.inc index f5d6d1d..4a64cf2 100644 --- a/include/langchooser.inc +++ b/include/langchooser.inc @@ -1,7 +1,5 @@ <?php // -*- C++ -*- -// $Id$ - /* This script tries to guess what language to use for diff --git a/include/languages.inc b/include/languages.inc index e727d9a..f31926e 100644 --- a/include/languages.inc +++ b/include/languages.inc @@ -1,7 +1,5 @@ <?php // -*- C++ -*- -// $Id$ - /* This is a list of all manual languages hosted within PHP SVN modules (phpdoc-{lang}) diff --git a/include/layout.inc b/include/layout.inc index e6ffbb0..5a0f944 100644 --- a/include/layout.inc +++ b/include/layout.inc @@ -1,6 +1,4 @@ <?php -/* $Id$ */ - $_SERVER['STATIC_ROOT'] = $MYSITE; $_SERVER['MYSITE'] = $MYSITE; diff --git a/include/loadavg.inc b/include/loadavg.inc index 6fa0dce..5e98d03 100644 --- a/include/loadavg.inc +++ b/include/loadavg.inc @@ -1,7 +1,5 @@ <?php # vim:ft=php -// $Id$ - /* Offload to the visitor's nearest mirror if the load is too high. We use the sys_getloadavg() function that requires PHP 5.1.3+ diff --git a/include/manual-lookup.inc b/include/manual-lookup.inc index f01f4db..8bbc335 100644 --- a/include/manual-lookup.inc +++ b/include/manual-lookup.inc @@ -1,7 +1,5 @@ <?php // -*- C++ -*- -// $Id$ - // We need this for error reporting include_once $_SERVER['DOCUMENT_ROOT'] . '/include/errors.inc'; diff --git a/include/posttohost.inc b/include/posttohost.inc index 56cd323..95d2e78 100644 --- a/include/posttohost.inc +++ b/include/posttohost.inc @@ -1,7 +1,5 @@ <?php -// $Id$ - /* This code is used to post data to the central server which can store the data in database and/or mail notices or requests diff --git a/include/prepend.inc b/include/prepend.inc index 50dafea..c7e995c 100644 --- a/include/prepend.inc +++ b/include/prepend.inc @@ -2,8 +2,6 @@ // Compress all pages, if ext/zlib is available on the mirror ini_set("zlib.output_compression", 1); -// $Id$ - // See http://www.w3.org/Protocols/rfc2616/rfc2616-sec14.html#sec14.9 // for cache control header descriptions (used in many places on the site). diff --git a/include/results.inc b/include/results.inc index c98042f..9b4ef53 100644 --- a/include/results.inc +++ b/include/results.inc @@ -1,5 +1,4 @@ <?php -// $Id: $ function search_results($res, $q, $profile='all', $per_page=10, $s=0, $l='en', $show_title=true, $show_foot=true, $show_attrib=true) { $start_result = $s; $end_result = $s + $res['ResultSet']['totalResultsReturned'] -1; diff --git a/include/shared-manual.inc b/include/shared-manual.inc index d693c25..ba3732a 100644 --- a/include/shared-manual.inc +++ b/include/shared-manual.inc @@ -1,7 +1,5 @@ <?php // -*- C++ -*- -// $Id$ - /* This file is included directly on all manual pages, diff --git a/include/shared-stat.inc b/include/shared-stat.inc index ccdae1b..af69405 100644 --- a/include/shared-stat.inc +++ b/include/shared-stat.inc @@ -1,5 +1,4 @@ <?php // -*- C++ -*- -// $Id$ include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; function commonStatHeader($title) { diff --git a/include/site.inc b/include/site.inc index 4dc8d22..898f30e 100644 --- a/include/site.inc +++ b/include/site.inc @@ -1,7 +1,5 @@ <?php // -*- C++ -*- -// $Id$ - // Define $MIRRORS array, and some constants include $_SERVER['DOCUMENT_ROOT'] . '/include/mirrors.inc'; diff --git a/license/contrib-guidelines-code.php b/license/contrib-guidelines-code.php index 365419f..86fc935 100644 --- a/license/contrib-guidelines-code.php +++ b/license/contrib-guidelines-code.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'license/contrib-guidelines-code.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("License Information", array("current" => "help")); diff --git a/license/distrib-guidelines-code.php b/license/distrib-guidelines-code.php index d4209f8..010cad9 100644 --- a/license/distrib-guidelines-code.php +++ b/license/distrib-guidelines-code.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'license/distrib-guidelines-code.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("License Information", array("current" => "help")); diff --git a/license/index.php b/license/index.php index bf963fd..300238e 100644 --- a/license/index.php +++ b/license/index.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'license/index.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; diff --git a/mailing-lists.php b/mailing-lists.php index 4197923..60c8f7b 100644 --- a/mailing-lists.php +++ b/mailing-lists.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'mailing-lists.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/posttohost.inc'; diff --git a/manual-lookup.php b/manual-lookup.php index 9d03da9..7f09b41 100644 --- a/manual-lookup.php +++ b/manual-lookup.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'manual-lookup.php'; include $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; include $_SERVER['DOCUMENT_ROOT'] . '/include/loadavg.inc'; diff --git a/manual/add-note.php b/manual/add-note.php index e6043c6..6b7f208 100644 --- a/manual/add-note.php +++ b/manual/add-note.php @@ -1,6 +1,4 @@ <?php -// $Id$ - $ip_spam_lookup_url = 'http://www.dnsbl.info/dnsbl-database-check.php?IP='; $_SERVER['BASE_PAGE'] = 'manual/add-note.php'; diff --git a/manual/change.php b/manual/change.php index 72089f3..1716d20 100644 --- a/manual/change.php +++ b/manual/change.php @@ -1,5 +1,4 @@ <?php -// $Id$ include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; $page = isset($_GET['page']) ? htmlspecialchars($_GET['page'], ENT_QUOTES, 'UTF-8') : ''; diff --git a/manual/help-translate.php b/manual/help-translate.php index 7a89da3..65fe54e 100644 --- a/manual/help-translate.php +++ b/manual/help-translate.php @@ -1,6 +1,4 @@ <?php -// $Id$ - $_SERVER['BASE_PAGE'] = 'manual/help-translate.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/shared-manual.inc'; diff --git a/manual/index.php b/manual/index.php index 01d4d71..818d907 100644 --- a/manual/index.php +++ b/manual/index.php @@ -1,5 +1,4 @@ <?php -// $Id$ include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; mirror_redirect("/manual/$LANG/index.php"); -?> \ No newline at end of file +?> diff --git a/manual/php3.php b/manual/php3.php index ab8819b..9323b45 100755 --- a/manual/php3.php +++ b/manual/php3.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'manual/php3.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header('PHP Version 3 Documentation'); @@ -274,4 +273,4 @@ site_header('PHP Version 3 Documentation'); to create extensions was not added to this document. </p> -<?php site_footer(); ?> \ No newline at end of file +<?php site_footer(); ?> diff --git a/manual/phpfi2.php b/manual/phpfi2.php index cd5f530..ca8cdc3 100644 --- a/manual/phpfi2.php +++ b/manual/phpfi2.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'manual/phpfi2.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header('PHP/FI Version 2.0 Documentation'); diff --git a/manual/spam_challenge.php b/manual/spam_challenge.php index d2dd9dd..8f7710a 100755 --- a/manual/spam_challenge.php +++ b/manual/spam_challenge.php @@ -1,6 +1,4 @@ <?php -// $Id$ - // simple and stupid SPAM protection (using little challenges) $nums = array('zero', 'one', 'two', 'three', 'four', 'five', 'six', 'seven', 'eight', 'nine'); diff --git a/manual/vote-note.php b/manual/vote-note.php index ac9c18f..5aca2e0 100644 --- a/manual/vote-note.php +++ b/manual/vote-note.php @@ -1,6 +1,4 @@ <?php -// $Id$ - $_SERVER['BASE_PAGE'] = 'manual/vote-note.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/posttohost.inc'; diff --git a/mirror-info.php b/mirror-info.php index 0d4e598..cfdeb86 100644 --- a/mirror-info.php +++ b/mirror-info.php @@ -1,6 +1,4 @@ <?php -// $Id$ - // Define $MYSITE and $LAST_UPDATED variables include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; diff --git a/mirror.php b/mirror.php index a6b1b66..5ab28a2 100644 --- a/mirror.php +++ b/mirror.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'mirror.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; $SIDEBAR_DATA = ' diff --git a/mirroring-stats.php b/mirroring-stats.php index 226317e..c553112 100644 --- a/mirroring-stats.php +++ b/mirroring-stats.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'mirroring-stats.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("Setting Up Local Stats", array("current" => "community")); diff --git a/mirroring-troubles.php b/mirroring-troubles.php index 29cf7a0..f466626 100644 --- a/mirroring-troubles.php +++ b/mirroring-troubles.php @@ -1,6 +1,4 @@ <?php -// $Id$ - $_SERVER['BASE_PAGE'] = 'mirroring-troubles.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; diff --git a/mirroring.php b/mirroring.php index 492d72e..b558c89 100644 --- a/mirroring.php +++ b/mirroring.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'mirroring.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; $SIDEBAR_DATA = ' diff --git a/mirrors.php b/mirrors.php index 5e0b99c..f04cf7a 100644 --- a/mirrors.php +++ b/mirrors.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'mirrors.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/layout.inc'; diff --git a/mod.php b/mod.php index 024d73f..bb12b8f 100644 --- a/mod.php +++ b/mod.php @@ -1,6 +1,4 @@ <?php -// $Id$ - /* This page supports the PHP.net automoderation system with enabling users to confirm their emails via the web. diff --git a/my.php b/my.php index 6524cb4..908fa59 100644 --- a/my.php +++ b/my.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'my.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; diff --git a/pear/index.php b/pear/index.php index 1904519..de92ee7 100644 --- a/pear/index.php +++ b/pear/index.php @@ -1,6 +1,4 @@ <?php -// $Id$ - // Simulate a /pear shortcut call (which will lead to a manual page) $_SERVER['REQUEST_URI'] = '/pear'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; diff --git a/quickref.php b/quickref.php index a79c872..2bf3816 100644 --- a/quickref.php +++ b/quickref.php @@ -1,6 +1,4 @@ <?php -// $Id$ - /* This page is either directly called from the browser, in diff --git a/releases/4_1_0.php b/releases/4_1_0.php index 132cf60..5e11885 100644 --- a/releases/4_1_0.php +++ b/releases/4_1_0.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/4_1_0.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 4.1.0 Release Announcement"); diff --git a/releases/4_1_0_fr.php b/releases/4_1_0_fr.php index 24b61c3..9492e90 100644 --- a/releases/4_1_0_fr.php +++ b/releases/4_1_0_fr.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/4_1_0_fr.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("Annonce de publication de PHP 4.1.0", array("lang" => "fr")); diff --git a/releases/4_1_1.php b/releases/4_1_1.php index 9a97ae1..54b045c 100644 --- a/releases/4_1_1.php +++ b/releases/4_1_1.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/4_1_1.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 4.1.1 Release Announcement"); diff --git a/releases/4_1_2_win32.php b/releases/4_1_2_win32.php index 6463c11..0bb82cc 100644 --- a/releases/4_1_2_win32.php +++ b/releases/4_1_2_win32.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/4_1_2_win32.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 4.1.2 Windows (Win32) Release Announcement"); diff --git a/releases/4_2_0.php b/releases/4_2_0.php index 6c54006..7596854 100644 --- a/releases/4_2_0.php +++ b/releases/4_2_0.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/4_2_0.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 4.2.0 Release Announcement"); diff --git a/releases/4_2_0_fr.php b/releases/4_2_0_fr.php index 1d78371..bab7028 100644 --- a/releases/4_2_0_fr.php +++ b/releases/4_2_0_fr.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/4_2_0_fr.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("Annonce de publication de PHP 4.2.0", array("lang" => "fr")); diff --git a/releases/4_2_1.php b/releases/4_2_1.php index 63ff27c..457b49d 100644 --- a/releases/4_2_1.php +++ b/releases/4_2_1.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/4_2_1.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 4.2.1 Release Announcement"); diff --git a/releases/4_2_1_fr.php b/releases/4_2_1_fr.php index ff88bd8..16ab48f 100644 --- a/releases/4_2_1_fr.php +++ b/releases/4_2_1_fr.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/4_2_1_fr.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("Annonce de publication de PHP 4.2.1", array("lang" => "fr")); diff --git a/releases/4_2_2.php b/releases/4_2_2.php index 6bbb532..90dcfa9 100644 --- a/releases/4_2_2.php +++ b/releases/4_2_2.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/4_2_2.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 4.2.2 Release Announcement"); diff --git a/releases/4_2_2_fr.php b/releases/4_2_2_fr.php index 43e139e..8b1a478 100644 --- a/releases/4_2_2_fr.php +++ b/releases/4_2_2_fr.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/4_2_2_fr.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("Annonce de publication de PHP 4.2.2", array("lang" => "fr")); diff --git a/releases/4_3_0.php b/releases/4_3_0.php index d24ac82..74d6c2e 100644 --- a/releases/4_3_0.php +++ b/releases/4_3_0.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/4_3_0.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 4.3.0 Release Announcement"); diff --git a/releases/4_3_0_fr.php b/releases/4_3_0_fr.php index 86cdb6e..f332c66 100644 --- a/releases/4_3_0_fr.php +++ b/releases/4_3_0_fr.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/4_3_0_fr.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("Annonce de publication de PHP 4.3.0", array("lang" => "fr")); diff --git a/releases/4_3_1.php b/releases/4_3_1.php index 4d6bb8e..481f4cb 100644 --- a/releases/4_3_1.php +++ b/releases/4_3_1.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/4_3_1.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 4.3.1 Release Announcement"); diff --git a/releases/4_3_10.php b/releases/4_3_10.php index ca3aa90..3d89044 100644 --- a/releases/4_3_10.php +++ b/releases/4_3_10.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/4_3_10.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 4.3.10 Release Announcement"); diff --git a/releases/4_3_10_fr.php b/releases/4_3_10_fr.php index a331a99..da9bacf 100644 --- a/releases/4_3_10_fr.php +++ b/releases/4_3_10_fr.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/4_3_10.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 4.3.10 Release Announcement"); diff --git a/releases/4_3_11.php b/releases/4_3_11.php index a3bf07c..d016d43 100644 --- a/releases/4_3_11.php +++ b/releases/4_3_11.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/4_3_11.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 4.3.11 Release Announcement"); diff --git a/releases/4_3_11_fr.php b/releases/4_3_11_fr.php index ebbca62..256572b 100644 --- a/releases/4_3_11_fr.php +++ b/releases/4_3_11_fr.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/4_3_10.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("Annonce de PHP 4.3.11"); diff --git a/releases/4_3_2.php b/releases/4_3_2.php index a91ac5d..240376a 100644 --- a/releases/4_3_2.php +++ b/releases/4_3_2.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/4_3_2.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 4.3.2 Release Announcement"); diff --git a/releases/4_3_2_fr.php b/releases/4_3_2_fr.php index de8921d..735c71d 100644 --- a/releases/4_3_2_fr.php +++ b/releases/4_3_2_fr.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/4_3_2_fr.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("Annonce de publication de PHP 4.3.2", array("lang" => "fr")); diff --git a/releases/4_3_3.php b/releases/4_3_3.php index 41e64d7..2ebd53b 100644 --- a/releases/4_3_3.php +++ b/releases/4_3_3.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/4_3_3.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 4.3.3 Release Announcement"); diff --git a/releases/4_3_3_fr.php b/releases/4_3_3_fr.php index f41c869..9be7424 100644 --- a/releases/4_3_3_fr.php +++ b/releases/4_3_3_fr.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/4_3_3.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("Annonce de publication de PHP 4.3.3"); diff --git a/releases/4_3_4.php b/releases/4_3_4.php index 13d33f7..f5163bc 100644 --- a/releases/4_3_4.php +++ b/releases/4_3_4.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/4_3_4.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 4.3.4 Release Announcement"); diff --git a/releases/4_3_4_fr.php b/releases/4_3_4_fr.php index a3397d1..b55c097 100644 --- a/releases/4_3_4_fr.php +++ b/releases/4_3_4_fr.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/4_3_4.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("Annonce de publication de PHP 4.3.4", array("lang" => "fr")); diff --git a/releases/4_3_5.php b/releases/4_3_5.php index 4b20ecd..70246cd 100644 --- a/releases/4_3_5.php +++ b/releases/4_3_5.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/4_3_5.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 4.3.5 Release Announcement"); diff --git a/releases/4_3_5_fr.php b/releases/4_3_5_fr.php index 228259f..77ed819 100644 --- a/releases/4_3_5_fr.php +++ b/releases/4_3_5_fr.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/4_3_5.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("Annonce de publication de PHP 4.3.5"); diff --git a/releases/4_3_6.php b/releases/4_3_6.php index ec7b2cf..1d0181f 100644 --- a/releases/4_3_6.php +++ b/releases/4_3_6.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/4_3_6.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 4.3.6 Release Announcement"); diff --git a/releases/4_3_6_fr.php b/releases/4_3_6_fr.php index 4344825..33ccb0a 100644 --- a/releases/4_3_6_fr.php +++ b/releases/4_3_6_fr.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/4_3_6.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("Annonce de publication de PHP 4.3.6"); diff --git a/releases/4_3_7.php b/releases/4_3_7.php index 37af6f3..5142085 100644 --- a/releases/4_3_7.php +++ b/releases/4_3_7.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/4_3_7.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 4.3.7 Release Announcement"); diff --git a/releases/4_3_7_fr.php b/releases/4_3_7_fr.php index d5c59c8..462934f 100644 --- a/releases/4_3_7_fr.php +++ b/releases/4_3_7_fr.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/4_3_7.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("Annonce de publication de PHP 4.3.7"); diff --git a/releases/4_3_8.php b/releases/4_3_8.php index a60131b..12d94e9 100644 --- a/releases/4_3_8.php +++ b/releases/4_3_8.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/4_3_8.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 4.3.8 Release Announcement"); diff --git a/releases/4_3_9.php b/releases/4_3_9.php index 18f704f..d0680e2 100644 --- a/releases/4_3_9.php +++ b/releases/4_3_9.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/4_3_9.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 4.3.9 Release Announcement"); diff --git a/releases/4_3_9_fr.php b/releases/4_3_9_fr.php index 9b995b0..1e27f99 100644 --- a/releases/4_3_9_fr.php +++ b/releases/4_3_9_fr.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/4_3_9.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 4.3.9 Release Announcement"); diff --git a/releases/4_4_0.php b/releases/4_4_0.php index 3db03fa..038d077 100644 --- a/releases/4_4_0.php +++ b/releases/4_4_0.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/4_4_0.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 4.4.0 Release Announcement"); diff --git a/releases/4_4_1.php b/releases/4_4_1.php index 4ddf28f..1d1b673 100644 --- a/releases/4_4_1.php +++ b/releases/4_4_1.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/4_4_1.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 4.4.1 Release Announcement"); diff --git a/releases/4_4_2.php b/releases/4_4_2.php index 6b12581..4a1c040 100644 --- a/releases/4_4_2.php +++ b/releases/4_4_2.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/4_4_1.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 4.4.2 Release Announcement"); diff --git a/releases/4_4_3.php b/releases/4_4_3.php index 9129c77..0d97d8d 100644 --- a/releases/4_4_3.php +++ b/releases/4_4_3.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/4_4_3.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 4.4.3 Release Announcement"); diff --git a/releases/4_4_4.php b/releases/4_4_4.php index 7292179..aa72e85 100644 --- a/releases/4_4_4.php +++ b/releases/4_4_4.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/4_4_4.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 4.4.4 Release Announcement"); diff --git a/releases/4_4_5.php b/releases/4_4_5.php index 7105bc4..152a364 100644 --- a/releases/4_4_5.php +++ b/releases/4_4_5.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/4_4_5.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 4.4.5 Release Announcement"); diff --git a/releases/4_4_6.php b/releases/4_4_6.php index fb731c5..37b7e67 100644 --- a/releases/4_4_6.php +++ b/releases/4_4_6.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/4_4_6.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 4.4.6 Release Announcement"); diff --git a/releases/4_4_7.php b/releases/4_4_7.php index 293e444..0a29bf3 100644 --- a/releases/4_4_7.php +++ b/releases/4_4_7.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/4_4_7.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 4.4.7 Release Announcement"); diff --git a/releases/4_4_8.php b/releases/4_4_8.php index 7fc282c..b3fb9a4 100644 --- a/releases/4_4_8.php +++ b/releases/4_4_8.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/4_4_8.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 4.4.8 Release Announcement"); diff --git a/releases/4_4_9.php b/releases/4_4_9.php index 37fe8ce..3fe0a77 100644 --- a/releases/4_4_9.php +++ b/releases/4_4_9.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/4_4_9.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 4.4.9 Release Announcement"); diff --git a/releases/5_1_0.php b/releases/5_1_0.php index 20c283a..a2b87e3 100644 --- a/releases/5_1_0.php +++ b/releases/5_1_0.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_1_0.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.1.0 Release Announcement"); diff --git a/releases/5_1_1.php b/releases/5_1_1.php index e2aa773..3593cba 100644 --- a/releases/5_1_1.php +++ b/releases/5_1_1.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_1_1.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.1.1 Release Announcement"); diff --git a/releases/5_1_2.php b/releases/5_1_2.php index 3316391..6533b30 100644 --- a/releases/5_1_2.php +++ b/releases/5_1_2.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_1_2.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.1.2 Release Announcement"); diff --git a/releases/5_1_3.php b/releases/5_1_3.php index 43c9971..c2b6a8f 100644 --- a/releases/5_1_3.php +++ b/releases/5_1_3.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_1_3.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.1.3 Release Announcement"); diff --git a/releases/5_1_4.php b/releases/5_1_4.php index c866e47..7a8c26b 100644 --- a/releases/5_1_4.php +++ b/releases/5_1_4.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_1_4.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.1.4 Release Announcement"); diff --git a/releases/5_1_5.php b/releases/5_1_5.php index 99edec1..fdb524a 100644 --- a/releases/5_1_5.php +++ b/releases/5_1_5.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_1_5.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.1.5 Release Announcement"); diff --git a/releases/5_1_6.php b/releases/5_1_6.php index 5ba0b93..ae6c51f 100644 --- a/releases/5_1_6.php +++ b/releases/5_1_6.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_1_6.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.1.6 Release Announcement"); diff --git a/releases/5_2_0.php b/releases/5_2_0.php index 6dc66d7..58988d2 100644 --- a/releases/5_2_0.php +++ b/releases/5_2_0.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_2_0.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.2.0 Release Announcement"); diff --git a/releases/5_2_1.php b/releases/5_2_1.php index afa8609..f416441 100644 --- a/releases/5_2_1.php +++ b/releases/5_2_1.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_2_1.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.2.1 Release Announcement"); diff --git a/releases/5_2_10.php b/releases/5_2_10.php index 575ce6b..a0f07b2 100644 --- a/releases/5_2_10.php +++ b/releases/5_2_10.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_2_10.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.2.10 Release Announcement"); diff --git a/releases/5_2_11.php b/releases/5_2_11.php index 3dc5bde..c02518b 100644 --- a/releases/5_2_11.php +++ b/releases/5_2_11.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_2_11.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.2.11 Release Announcement"); diff --git a/releases/5_2_12.php b/releases/5_2_12.php index 850cdd7..0df8a43 100644 --- a/releases/5_2_12.php +++ b/releases/5_2_12.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_2_12.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.2.12 Release Announcement"); diff --git a/releases/5_2_13.php b/releases/5_2_13.php index 9b3cf1b..c37d58c 100644 --- a/releases/5_2_13.php +++ b/releases/5_2_13.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_2_13.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.2.13 Release Announcement"); diff --git a/releases/5_2_14.php b/releases/5_2_14.php index 868cc1a..709c899 100644 --- a/releases/5_2_14.php +++ b/releases/5_2_14.php @@ -1,5 +1,4 @@ <?php -// $Id $ $_SERVER['BASE_PAGE'] = 'releases/5_2_14.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.2.14 Release Announcement"); diff --git a/releases/5_2_15.php b/releases/5_2_15.php index bbae497..459272a 100644 --- a/releases/5_2_15.php +++ b/releases/5_2_15.php @@ -1,5 +1,4 @@ <?php -// $Id $ $_SERVER['BASE_PAGE'] = 'releases/5_2_15.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.2.15 Release Announcement"); diff --git a/releases/5_2_16.php b/releases/5_2_16.php index aff962e..c20ae9f 100644 --- a/releases/5_2_16.php +++ b/releases/5_2_16.php @@ -1,5 +1,4 @@ <?php -// $Id $ $_SERVER['BASE_PAGE'] = 'releases/5_2_16.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.2.16 Release Announcement"); diff --git a/releases/5_2_17.php b/releases/5_2_17.php index 4dd17c2..2cefe9e 100644 --- a/releases/5_2_17.php +++ b/releases/5_2_17.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5.2.17.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.2.17 Release Announcement"); diff --git a/releases/5_2_2.php b/releases/5_2_2.php index f50d610..3fe6749 100644 --- a/releases/5_2_2.php +++ b/releases/5_2_2.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_2_2.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.2.2 Release Announcement"); diff --git a/releases/5_2_3.php b/releases/5_2_3.php index 009764b..1381a52 100644 --- a/releases/5_2_3.php +++ b/releases/5_2_3.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_2_3.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.2.3 Release Announcement"); diff --git a/releases/5_2_4.php b/releases/5_2_4.php index acdeab3..521f8dd 100644 --- a/releases/5_2_4.php +++ b/releases/5_2_4.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_2_4.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.2.4 Release Announcement"); diff --git a/releases/5_2_5.php b/releases/5_2_5.php index e548c84..3f48580 100644 --- a/releases/5_2_5.php +++ b/releases/5_2_5.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_2_5.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.2.5 Release Announcement"); diff --git a/releases/5_2_6.php b/releases/5_2_6.php index 5491a70..84fa3a6 100644 --- a/releases/5_2_6.php +++ b/releases/5_2_6.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_2_6.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.2.6 Release Announcement"); diff --git a/releases/5_2_7.php b/releases/5_2_7.php index a13e178..61a5617 100644 --- a/releases/5_2_7.php +++ b/releases/5_2_7.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_2_7.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.2.7 Release Announcement"); diff --git a/releases/5_2_8.php b/releases/5_2_8.php index 13022e2..942076b 100644 --- a/releases/5_2_8.php +++ b/releases/5_2_8.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_2_8.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.2.8 Release Announcement"); diff --git a/releases/5_2_9.php b/releases/5_2_9.php index d99855d..104f258 100644 --- a/releases/5_2_9.php +++ b/releases/5_2_9.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_2_9.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.2.9 Release Announcement"); diff --git a/releases/5_3_0.php b/releases/5_3_0.php index ad3ce18..ff001f3 100644 --- a/releases/5_3_0.php +++ b/releases/5_3_0.php @@ -1,5 +1,4 @@ <?php -// $Id: 5_2_0.php,v 1.4 2007/01/16 16:04:05 bjori Exp $ $_SERVER['BASE_PAGE'] = 'releases/5_3_0.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.3.0 Release Announcement"); diff --git a/releases/5_3_1.php b/releases/5_3_1.php index 6466683..13743d5 100644 --- a/releases/5_3_1.php +++ b/releases/5_3_1.php @@ -1,5 +1,4 @@ <?php -// $Id: 5_2_0.php,v 1.4 2007/01/16 16:04:05 bjori Exp $ $_SERVER['BASE_PAGE'] = 'releases/5_3_1.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.3.1 Release Announcement"); diff --git a/releases/5_3_10.php b/releases/5_3_10.php index 6a5dca9..fd6a83f 100644 --- a/releases/5_3_10.php +++ b/releases/5_3_10.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_3_10.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.3.10 Release Announcement"); diff --git a/releases/5_3_11.php b/releases/5_3_11.php index d54250e..c61177d 100644 --- a/releases/5_3_11.php +++ b/releases/5_3_11.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_3_11.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.3.11 Release Announcement"); diff --git a/releases/5_3_12.php b/releases/5_3_12.php index 8c7c81e..b6bbf39 100644 --- a/releases/5_3_12.php +++ b/releases/5_3_12.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_3_12.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.3.12 Release Announcement"); diff --git a/releases/5_3_13.php b/releases/5_3_13.php index 8ea7439..851152e 100644 --- a/releases/5_3_13.php +++ b/releases/5_3_13.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_3_13.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.3.13 Release Announcement"); diff --git a/releases/5_3_14.php b/releases/5_3_14.php index 1135d31..071d133 100644 --- a/releases/5_3_14.php +++ b/releases/5_3_14.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_3_14.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.3.14 Release Announcement"); diff --git a/releases/5_3_15.php b/releases/5_3_15.php index 6a42fc3..453c47f 100644 --- a/releases/5_3_15.php +++ b/releases/5_3_15.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_3_15.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.3.15 Release Announcement"); diff --git a/releases/5_3_16.php b/releases/5_3_16.php index b1612fd..fe449c1 100644 --- a/releases/5_3_16.php +++ b/releases/5_3_16.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_3_16.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.3.16 Release Announcement"); diff --git a/releases/5_3_17.php b/releases/5_3_17.php index f49aa08..ae75dff 100644 --- a/releases/5_3_17.php +++ b/releases/5_3_17.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_3_17.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.3.17 Release Announcement"); diff --git a/releases/5_3_18.php b/releases/5_3_18.php index 6ce0b4f..576b3b8 100644 --- a/releases/5_3_18.php +++ b/releases/5_3_18.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_3_18.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.3.18 Release Announcement"); diff --git a/releases/5_3_19.php b/releases/5_3_19.php index 3301f2e..8d43851 100644 --- a/releases/5_3_19.php +++ b/releases/5_3_19.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_3_19.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.3.19 Release Announcement"); diff --git a/releases/5_3_2.php b/releases/5_3_2.php index 95d34c0..26494b9 100644 --- a/releases/5_3_2.php +++ b/releases/5_3_2.php @@ -1,5 +1,4 @@ <?php -// $Id: 5_2_0.php,v 1.4 2007/01/16 16:04:05 bjori Exp $ $_SERVER['BASE_PAGE'] = 'releases/5_3_2.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.3.2 Release Announcement"); diff --git a/releases/5_3_20.php b/releases/5_3_20.php index 24b26a6..516618e 100644 --- a/releases/5_3_20.php +++ b/releases/5_3_20.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_3_20.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.3.20 Release Announcement"); diff --git a/releases/5_3_21.php b/releases/5_3_21.php index fb6d489..408ebe6 100644 --- a/releases/5_3_21.php +++ b/releases/5_3_21.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_3_21.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.3.21 Release Announcement"); diff --git a/releases/5_3_22.php b/releases/5_3_22.php index bb01841..76af829 100644 --- a/releases/5_3_22.php +++ b/releases/5_3_22.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_3_22.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.3.22 Release Announcement"); diff --git a/releases/5_3_23.php b/releases/5_3_23.php index f9017b8..a8f1783 100644 --- a/releases/5_3_23.php +++ b/releases/5_3_23.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_3_23.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.3.23 Release Announcement"); diff --git a/releases/5_3_24.php b/releases/5_3_24.php index 11dc9d9..1583feb 100644 --- a/releases/5_3_24.php +++ b/releases/5_3_24.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_3_24.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.3.24 Release Announcement"); diff --git a/releases/5_3_25.php b/releases/5_3_25.php index be6b26a..9f45e9e 100644 --- a/releases/5_3_25.php +++ b/releases/5_3_25.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_3_25.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.3.25 Release Announcement"); diff --git a/releases/5_3_26.php b/releases/5_3_26.php index b6852a6..322fc8f 100644 --- a/releases/5_3_26.php +++ b/releases/5_3_26.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_3_26.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.3.26 Release Announcement"); diff --git a/releases/5_3_27.php b/releases/5_3_27.php index 8936611..216ed75 100644 --- a/releases/5_3_27.php +++ b/releases/5_3_27.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_3_27.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.3.27 Release Announcement"); diff --git a/releases/5_3_28.php b/releases/5_3_28.php index 6ba98e6..2cfd0fc 100644 --- a/releases/5_3_28.php +++ b/releases/5_3_28.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_3_28.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.3.28 Release Announcement"); diff --git a/releases/5_3_29.php b/releases/5_3_29.php index 3bd65cc..9b39bdb 100644 --- a/releases/5_3_29.php +++ b/releases/5_3_29.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_3_29.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.3.29 Release Announcement"); diff --git a/releases/5_3_3.php b/releases/5_3_3.php index 5ac8563..8cc024a 100644 --- a/releases/5_3_3.php +++ b/releases/5_3_3.php @@ -1,5 +1,4 @@ <?php -// $Id $ $_SERVER['BASE_PAGE'] = 'releases/5_3_3.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.3.3 Release Announcement"); diff --git a/releases/5_3_4.php b/releases/5_3_4.php index 6a142d2..ee74887 100644 --- a/releases/5_3_4.php +++ b/releases/5_3_4.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_3_4.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.3.4 Release Announcement"); diff --git a/releases/5_3_5.php b/releases/5_3_5.php index fd66e55..0310281 100644 --- a/releases/5_3_5.php +++ b/releases/5_3_5.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_3_5.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.3.5 Release Announcement"); diff --git a/releases/5_3_6.php b/releases/5_3_6.php index 4c9f8f1..562bc9b 100644 --- a/releases/5_3_6.php +++ b/releases/5_3_6.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_3_6.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.3.6 Release Announcement"); diff --git a/releases/5_3_7.php b/releases/5_3_7.php index 44acdc7..2b2a716 100644 --- a/releases/5_3_7.php +++ b/releases/5_3_7.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_3_7.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.3.7 Release Announcement"); diff --git a/releases/5_3_8.php b/releases/5_3_8.php index 256dee0..fea433a 100644 --- a/releases/5_3_8.php +++ b/releases/5_3_8.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_3_8.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.3.8 Release Announcement"); diff --git a/releases/5_3_9.php b/releases/5_3_9.php index d8f2e32..d51363c 100644 --- a/releases/5_3_9.php +++ b/releases/5_3_9.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_3_9.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.3.9 Release Announcement"); diff --git a/releases/5_4_0.php b/releases/5_4_0.php index f58f687..8f374e7 100644 --- a/releases/5_4_0.php +++ b/releases/5_4_0.php @@ -1,5 +1,4 @@ <?php -// $Id: 5_2_0.php,v 1.4 2007/01/16 16:04:05 bjori Exp $ $_SERVER['BASE_PAGE'] = 'releases/5_4_0.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.0 Release Announcement"); diff --git a/releases/5_4_1.php b/releases/5_4_1.php index bc7cea3..4bc6948 100644 --- a/releases/5_4_1.php +++ b/releases/5_4_1.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_1.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.1 Release Announcement"); diff --git a/releases/5_4_10.php b/releases/5_4_10.php index 4ae9df0..6a6bc05 100644 --- a/releases/5_4_10.php +++ b/releases/5_4_10.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_10.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.10 Release Announcement"); diff --git a/releases/5_4_11.php b/releases/5_4_11.php index 794db3f..27f95d7 100644 --- a/releases/5_4_11.php +++ b/releases/5_4_11.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_11.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.11 Release Announcement"); diff --git a/releases/5_4_12.php b/releases/5_4_12.php index 52818e2..e422ea3 100644 --- a/releases/5_4_12.php +++ b/releases/5_4_12.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_12.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.12 Release Announcement"); diff --git a/releases/5_4_13.php b/releases/5_4_13.php index 27202d0..6bae1be 100644 --- a/releases/5_4_13.php +++ b/releases/5_4_13.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_13.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.13 Release Announcement"); diff --git a/releases/5_4_14.php b/releases/5_4_14.php index f0fc8b3..36651f6 100644 --- a/releases/5_4_14.php +++ b/releases/5_4_14.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_14.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.14 Release Announcement"); diff --git a/releases/5_4_15.php b/releases/5_4_15.php index 7ba92fa..7518c8d 100644 --- a/releases/5_4_15.php +++ b/releases/5_4_15.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_15.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.15 Release Announcement"); diff --git a/releases/5_4_16.php b/releases/5_4_16.php index 4a5049e..0c71eef 100644 --- a/releases/5_4_16.php +++ b/releases/5_4_16.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_16.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.16 Release Announcement"); diff --git a/releases/5_4_17.php b/releases/5_4_17.php index ce0151b..2f4593c 100644 --- a/releases/5_4_17.php +++ b/releases/5_4_17.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_17.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.17 Release Announcement"); diff --git a/releases/5_4_18.php b/releases/5_4_18.php index 60895be..7830c0d 100644 --- a/releases/5_4_18.php +++ b/releases/5_4_18.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_18.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.18 Release Announcement"); diff --git a/releases/5_4_19.php b/releases/5_4_19.php index 6fa43c6..d39b4ab 100644 --- a/releases/5_4_19.php +++ b/releases/5_4_19.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_19.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.19 Release Announcement"); diff --git a/releases/5_4_2.php b/releases/5_4_2.php index 2234e69..8e44808 100644 --- a/releases/5_4_2.php +++ b/releases/5_4_2.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_2.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.2 Release Announcement"); diff --git a/releases/5_4_20.php b/releases/5_4_20.php index cf65706..63da2cc 100644 --- a/releases/5_4_20.php +++ b/releases/5_4_20.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_20.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.20 Release Announcement"); diff --git a/releases/5_4_21.php b/releases/5_4_21.php index 5d964af..6b692fb 100644 --- a/releases/5_4_21.php +++ b/releases/5_4_21.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_21.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.21 Release Announcement"); diff --git a/releases/5_4_22.php b/releases/5_4_22.php index d71e2c6..9aaed5f 100644 --- a/releases/5_4_22.php +++ b/releases/5_4_22.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_22.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.22 Release Announcement"); diff --git a/releases/5_4_23.php b/releases/5_4_23.php index fd6a9e8..048a808 100644 --- a/releases/5_4_23.php +++ b/releases/5_4_23.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_23.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.23 Release Announcement"); diff --git a/releases/5_4_24.php b/releases/5_4_24.php index 6418a54..b142ca7 100644 --- a/releases/5_4_24.php +++ b/releases/5_4_24.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_24.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.24 Release Announcement"); diff --git a/releases/5_4_25.php b/releases/5_4_25.php index 8fe91d4..c28e59b 100644 --- a/releases/5_4_25.php +++ b/releases/5_4_25.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_25.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.25 Release Announcement"); diff --git a/releases/5_4_26.php b/releases/5_4_26.php index 527814b..2359f9d 100644 --- a/releases/5_4_26.php +++ b/releases/5_4_26.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_26.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.26 Release Announcement"); diff --git a/releases/5_4_27.php b/releases/5_4_27.php index 78bc39f..b47bb98 100644 --- a/releases/5_4_27.php +++ b/releases/5_4_27.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_27.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.27 Release Announcement"); diff --git a/releases/5_4_28.php b/releases/5_4_28.php index 2fced54..78682bf 100644 --- a/releases/5_4_28.php +++ b/releases/5_4_28.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_28.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.28 Release Announcement"); diff --git a/releases/5_4_29.php b/releases/5_4_29.php index 348ddaa..f348247 100644 --- a/releases/5_4_29.php +++ b/releases/5_4_29.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_29.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.29 Release Announcement"); diff --git a/releases/5_4_3.php b/releases/5_4_3.php index 849306b..408f71d 100644 --- a/releases/5_4_3.php +++ b/releases/5_4_3.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_3.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.3 Release Announcement"); diff --git a/releases/5_4_30.php b/releases/5_4_30.php index d43af9e..101d0ee 100644 --- a/releases/5_4_30.php +++ b/releases/5_4_30.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_30.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.30 Release Announcement"); diff --git a/releases/5_4_31.php b/releases/5_4_31.php index fc3ea1c..5d99611 100644 --- a/releases/5_4_31.php +++ b/releases/5_4_31.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_31.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.31 Release Announcement"); diff --git a/releases/5_4_32.php b/releases/5_4_32.php index 4067796..a894a2c 100644 --- a/releases/5_4_32.php +++ b/releases/5_4_32.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_32.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.32 Release Announcement"); diff --git a/releases/5_4_33.php b/releases/5_4_33.php index 96ca667..8b269b6 100644 --- a/releases/5_4_33.php +++ b/releases/5_4_33.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_33.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.33 Release Announcement"); diff --git a/releases/5_4_34.php b/releases/5_4_34.php index 144ba30..5387610 100644 --- a/releases/5_4_34.php +++ b/releases/5_4_34.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_34.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.34 Release Announcement"); diff --git a/releases/5_4_35.php b/releases/5_4_35.php index 6f7a504..e94b691 100644 --- a/releases/5_4_35.php +++ b/releases/5_4_35.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_35.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.35 Release Announcement"); diff --git a/releases/5_4_36.php b/releases/5_4_36.php index cbea4c6..89db1dc 100644 --- a/releases/5_4_36.php +++ b/releases/5_4_36.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_36.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.36 Release Announcement"); diff --git a/releases/5_4_37.php b/releases/5_4_37.php index 767a07c..3bd7b8e 100644 --- a/releases/5_4_37.php +++ b/releases/5_4_37.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_37.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.37 Release Announcement"); diff --git a/releases/5_4_38.php b/releases/5_4_38.php index 5604697..4a886da 100644 --- a/releases/5_4_38.php +++ b/releases/5_4_38.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_38.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.38 Release Announcement"); diff --git a/releases/5_4_39.php b/releases/5_4_39.php index 447e36e..375486b 100644 --- a/releases/5_4_39.php +++ b/releases/5_4_39.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_39.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.39 Release Announcement"); diff --git a/releases/5_4_4.php b/releases/5_4_4.php index 296ac86..acf6dda 100644 --- a/releases/5_4_4.php +++ b/releases/5_4_4.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_4.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.4 Release Announcement"); diff --git a/releases/5_4_40.php b/releases/5_4_40.php index d3b445f..c4d6f94 100644 --- a/releases/5_4_40.php +++ b/releases/5_4_40.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_40.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.40 Release Announcement"); diff --git a/releases/5_4_41.php b/releases/5_4_41.php index 882c9c8..c0496d6 100644 --- a/releases/5_4_41.php +++ b/releases/5_4_41.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_41.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.41 Release Announcement"); diff --git a/releases/5_4_42.php b/releases/5_4_42.php index da00d0c..10a685f 100644 --- a/releases/5_4_42.php +++ b/releases/5_4_42.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_42.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.42 Release Announcement"); diff --git a/releases/5_4_43.php b/releases/5_4_43.php index ea130f6..cd1f0b4 100644 --- a/releases/5_4_43.php +++ b/releases/5_4_43.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_43.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.43 Release Announcement"); diff --git a/releases/5_4_44.php b/releases/5_4_44.php index 2bc33a9..d403390 100644 --- a/releases/5_4_44.php +++ b/releases/5_4_44.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_44.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.44 Release Announcement"); diff --git a/releases/5_4_45.php b/releases/5_4_45.php index 772b65c..5bee9b7 100644 --- a/releases/5_4_45.php +++ b/releases/5_4_45.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_45.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.45 Release Announcement"); diff --git a/releases/5_4_5.php b/releases/5_4_5.php index 0d53a92..fdd09b2 100644 --- a/releases/5_4_5.php +++ b/releases/5_4_5.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_5.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.5 Release Announcement"); diff --git a/releases/5_4_6.php b/releases/5_4_6.php index 6533e73..b374d5c 100644 --- a/releases/5_4_6.php +++ b/releases/5_4_6.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_6.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.6 Release Announcement"); diff --git a/releases/5_4_7.php b/releases/5_4_7.php index 210f295..4a85d73 100644 --- a/releases/5_4_7.php +++ b/releases/5_4_7.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_7.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.7 Release Announcement"); diff --git a/releases/5_4_8.php b/releases/5_4_8.php index 34839d6..239de43 100644 --- a/releases/5_4_8.php +++ b/releases/5_4_8.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_8.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.8 Release Announcement"); diff --git a/releases/5_4_9.php b/releases/5_4_9.php index 2098f35..10307e2 100644 --- a/releases/5_4_9.php +++ b/releases/5_4_9.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_4_9.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.4.9 Release Announcement"); diff --git a/releases/5_5_0.php b/releases/5_5_0.php index 56aed7a..663cee0 100644 --- a/releases/5_5_0.php +++ b/releases/5_5_0.php @@ -1,5 +1,4 @@ <?php -// $Id: 5_2_0.php,v 1.4 2007/01/16 16:04:05 bjori Exp $ $_SERVER['BASE_PAGE'] = 'releases/5_5_0.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.5.0 Release Announcement"); diff --git a/releases/5_5_1.php b/releases/5_5_1.php index b0dbd4e..2dad629 100644 --- a/releases/5_5_1.php +++ b/releases/5_5_1.php @@ -1,5 +1,4 @@ <?php -// $Id: 5_2_0.php,v 1.4 2007/01/16 16:04:05 bjori Exp $ $_SERVER['BASE_PAGE'] = 'releases/5_5_1.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.5.1 Release Announcement"); diff --git a/releases/5_5_10.php b/releases/5_5_10.php index 812ba71..dd5e348 100644 --- a/releases/5_5_10.php +++ b/releases/5_5_10.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_5_10.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.5.9 Release Announcement"); diff --git a/releases/5_5_11.php b/releases/5_5_11.php index ee54be5..f7053e4 100644 --- a/releases/5_5_11.php +++ b/releases/5_5_11.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_5_11.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.5.11 Release Announcement"); diff --git a/releases/5_5_12.php b/releases/5_5_12.php index 54d98fa..3817514 100644 --- a/releases/5_5_12.php +++ b/releases/5_5_12.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_5_12.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.5.12 Release Announcement"); diff --git a/releases/5_5_13.php b/releases/5_5_13.php index e896afc..25492a6 100644 --- a/releases/5_5_13.php +++ b/releases/5_5_13.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_5_13.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.5.13 Release Announcement"); diff --git a/releases/5_5_14.php b/releases/5_5_14.php index 341f963..54f2d3e 100644 --- a/releases/5_5_14.php +++ b/releases/5_5_14.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_5_14.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.5.14 Release Announcement"); diff --git a/releases/5_5_15.php b/releases/5_5_15.php index 2e6abfc..a781e66 100644 --- a/releases/5_5_15.php +++ b/releases/5_5_15.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_5_15.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.5.15 Release Announcement"); diff --git a/releases/5_5_16.php b/releases/5_5_16.php index fca9de8..b580b3d 100644 --- a/releases/5_5_16.php +++ b/releases/5_5_16.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_5_16.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.5.16 Release Announcement"); diff --git a/releases/5_5_17.php b/releases/5_5_17.php index aa6c602..14fcb42 100644 --- a/releases/5_5_17.php +++ b/releases/5_5_17.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_5_17.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.5.17 Release Announcement"); diff --git a/releases/5_5_18.php b/releases/5_5_18.php index 5a78a30..b78cdc3 100644 --- a/releases/5_5_18.php +++ b/releases/5_5_18.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_5_18.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.5.18 Release Announcement"); diff --git a/releases/5_5_19.php b/releases/5_5_19.php index 04256dd..d548a3f 100644 --- a/releases/5_5_19.php +++ b/releases/5_5_19.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_5_19.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.5.19 Release Announcement"); diff --git a/releases/5_5_2.php b/releases/5_5_2.php index 442f7a3..f3b0ece 100644 --- a/releases/5_5_2.php +++ b/releases/5_5_2.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_5_2.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.5.2 Release Announcement"); diff --git a/releases/5_5_20.php b/releases/5_5_20.php index 1f23360..4144bfb 100644 --- a/releases/5_5_20.php +++ b/releases/5_5_20.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_5_20.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.5.20 Release Announcement"); diff --git a/releases/5_5_21.php b/releases/5_5_21.php index 468e624..2dce237 100644 --- a/releases/5_5_21.php +++ b/releases/5_5_21.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_5_21.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.5.21 Release Announcement"); diff --git a/releases/5_5_22.php b/releases/5_5_22.php index 3d2c9ad..c35176a 100644 --- a/releases/5_5_22.php +++ b/releases/5_5_22.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_5_22.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.5.22 Release Announcement"); diff --git a/releases/5_5_23.php b/releases/5_5_23.php index 53c064b..d279c43 100644 --- a/releases/5_5_23.php +++ b/releases/5_5_23.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_5_23.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.5.23 Release Announcement"); diff --git a/releases/5_5_24.php b/releases/5_5_24.php index 8766609..82f6911 100644 --- a/releases/5_5_24.php +++ b/releases/5_5_24.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_5_24.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.5.24 Release Announcement"); diff --git a/releases/5_5_25.php b/releases/5_5_25.php index 27e3385..e013cee 100644 --- a/releases/5_5_25.php +++ b/releases/5_5_25.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_5_25.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.5.25 Release Announcement"); diff --git a/releases/5_5_26.php b/releases/5_5_26.php index 0438b4d..3710b41 100644 --- a/releases/5_5_26.php +++ b/releases/5_5_26.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_5_26.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.5.26 Release Announcement"); diff --git a/releases/5_5_27.php b/releases/5_5_27.php index 0c932e5..ecbb5ec 100644 --- a/releases/5_5_27.php +++ b/releases/5_5_27.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_5_27.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.5.27 Release Announcement"); diff --git a/releases/5_5_28.php b/releases/5_5_28.php index 01a8a2d..a43f71e 100644 --- a/releases/5_5_28.php +++ b/releases/5_5_28.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_5_28.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.5.28 Release Announcement"); diff --git a/releases/5_5_29.php b/releases/5_5_29.php index 51f126c..ed44017 100644 --- a/releases/5_5_29.php +++ b/releases/5_5_29.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_5_29.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.5.29 Release Announcement"); diff --git a/releases/5_5_3.php b/releases/5_5_3.php index e8f2e2e..f261c2e 100644 --- a/releases/5_5_3.php +++ b/releases/5_5_3.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_5_3.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.5.3 Release Announcement"); diff --git a/releases/5_5_30.php b/releases/5_5_30.php index d24ad14..a5f9386 100644 --- a/releases/5_5_30.php +++ b/releases/5_5_30.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_5_30.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.5.30 Release Announcement"); diff --git a/releases/5_5_31.php b/releases/5_5_31.php index f4e2f4a..cf0d8af 100644 --- a/releases/5_5_31.php +++ b/releases/5_5_31.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_5_31.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.5.31 Release Announcement"); diff --git a/releases/5_5_32.php b/releases/5_5_32.php index 25b0541..b779bc1 100644 --- a/releases/5_5_32.php +++ b/releases/5_5_32.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_5_32.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.5.32 Release Announcement"); diff --git a/releases/5_5_33.php b/releases/5_5_33.php index 9e1ced6..0144803 100644 --- a/releases/5_5_33.php +++ b/releases/5_5_33.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_5_33.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.5.33 Release Announcement"); diff --git a/releases/5_5_34.php b/releases/5_5_34.php index 8307481..d98e4c6 100644 --- a/releases/5_5_34.php +++ b/releases/5_5_34.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_5_34.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.5.34 Release Announcement"); diff --git a/releases/5_5_35.php b/releases/5_5_35.php index 1b8166a..74667d6 100644 --- a/releases/5_5_35.php +++ b/releases/5_5_35.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_5_35.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.5.35 Release Announcement"); diff --git a/releases/5_5_36.php b/releases/5_5_36.php index e18cdeb..ff7a440 100644 --- a/releases/5_5_36.php +++ b/releases/5_5_36.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_5_36.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.5.36 Release Announcement"); diff --git a/releases/5_5_37.php b/releases/5_5_37.php index db0e6a1..dc16eb6 100644 --- a/releases/5_5_37.php +++ b/releases/5_5_37.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_5_37.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.5.37 Release Announcement"); diff --git a/releases/5_5_38.php b/releases/5_5_38.php index c14d14a..a16a1b5 100644 --- a/releases/5_5_38.php +++ b/releases/5_5_38.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_5_38.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.5.38 Release Announcement"); diff --git a/releases/5_5_4.php b/releases/5_5_4.php index bb6fcd8..ed5ac02 100644 --- a/releases/5_5_4.php +++ b/releases/5_5_4.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_5_4.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.5.4 Release Announcement"); diff --git a/releases/5_5_5.php b/releases/5_5_5.php index f850433..5fc4e36 100644 --- a/releases/5_5_5.php +++ b/releases/5_5_5.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_5_5.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.5.5 Release Announcement"); diff --git a/releases/5_5_6.php b/releases/5_5_6.php index d8dfde0..ce046c0 100644 --- a/releases/5_5_6.php +++ b/releases/5_5_6.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_5_6.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.5.6 Release Announcement"); diff --git a/releases/5_5_7.php b/releases/5_5_7.php index ccdb0e9..2e3e3d4 100644 --- a/releases/5_5_7.php +++ b/releases/5_5_7.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_5_7.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.5.7 Release Announcement"); diff --git a/releases/5_5_8.php b/releases/5_5_8.php index 53d5057..e87eca1 100644 --- a/releases/5_5_8.php +++ b/releases/5_5_8.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_5_8.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.5.7 Release Announcement"); diff --git a/releases/5_5_9.php b/releases/5_5_9.php index 1ce0e5d..ad620dd 100644 --- a/releases/5_5_9.php +++ b/releases/5_5_9.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_5_9.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.5.9 Release Announcement"); diff --git a/releases/5_6_0.php b/releases/5_6_0.php index 35fa3fa..f7deab5 100644 --- a/releases/5_6_0.php +++ b/releases/5_6_0.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_6_0.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.6.0 Release Announcement"); diff --git a/releases/5_6_1.php b/releases/5_6_1.php index a5040d3..aa16213 100644 --- a/releases/5_6_1.php +++ b/releases/5_6_1.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_6_1.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.6.1 Release Announcement"); diff --git a/releases/5_6_10.php b/releases/5_6_10.php index bb63d52..0c6b560 100644 --- a/releases/5_6_10.php +++ b/releases/5_6_10.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_6_10.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.6.10 Release Announcement"); diff --git a/releases/5_6_11.php b/releases/5_6_11.php index a7a211d..9edf313 100644 --- a/releases/5_6_11.php +++ b/releases/5_6_11.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_6_11.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.6.11 Release Announcement"); diff --git a/releases/5_6_12.php b/releases/5_6_12.php index 8a90202..6a42655 100644 --- a/releases/5_6_12.php +++ b/releases/5_6_12.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_6_12.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.6.12 Release Announcement"); diff --git a/releases/5_6_13.php b/releases/5_6_13.php index d015d1c..0cd3faa 100644 --- a/releases/5_6_13.php +++ b/releases/5_6_13.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_6_13.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.6.13 Release Announcement"); diff --git a/releases/5_6_14.php b/releases/5_6_14.php index 2d63a44..4018590 100644 --- a/releases/5_6_14.php +++ b/releases/5_6_14.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_6_14.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.6.14 Release Announcement"); diff --git a/releases/5_6_15.php b/releases/5_6_15.php index 908f05d..03f8d0e 100644 --- a/releases/5_6_15.php +++ b/releases/5_6_15.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_6_15.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.6.15 Release Announcement"); diff --git a/releases/5_6_16.php b/releases/5_6_16.php index 15c0e71..f8f277d 100644 --- a/releases/5_6_16.php +++ b/releases/5_6_16.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_6_16.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.6.15 Release Announcement"); diff --git a/releases/5_6_17.php b/releases/5_6_17.php index d3c5a77..1317356 100644 --- a/releases/5_6_17.php +++ b/releases/5_6_17.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_6_17.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.6.17 Release Announcement"); diff --git a/releases/5_6_18.php b/releases/5_6_18.php index e409eab..0b6873e 100644 --- a/releases/5_6_18.php +++ b/releases/5_6_18.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_6_18.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.6.18 Release Announcement"); diff --git a/releases/5_6_19.php b/releases/5_6_19.php index a0b30aa..c60184f 100644 --- a/releases/5_6_19.php +++ b/releases/5_6_19.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_6_19.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.6.19 Release Announcement"); diff --git a/releases/5_6_2.php b/releases/5_6_2.php index 99017eb..e9f4f10 100644 --- a/releases/5_6_2.php +++ b/releases/5_6_2.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_6_2.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.6.2 Release Announcement"); diff --git a/releases/5_6_20.php b/releases/5_6_20.php index 4e5d11c..91f35be 100644 --- a/releases/5_6_20.php +++ b/releases/5_6_20.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_6_20.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.6.20 Release Announcement"); diff --git a/releases/5_6_21.php b/releases/5_6_21.php index 7f487d0..f887785 100644 --- a/releases/5_6_21.php +++ b/releases/5_6_21.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_6_21.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.6.21 Release Announcement"); diff --git a/releases/5_6_22.php b/releases/5_6_22.php index 49f51ee..734442f 100644 --- a/releases/5_6_22.php +++ b/releases/5_6_22.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_6_22.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.6.22 Release Announcement"); diff --git a/releases/5_6_23.php b/releases/5_6_23.php index 0ba5808..ab723b9 100644 --- a/releases/5_6_23.php +++ b/releases/5_6_23.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_6_23.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.6.23 Release Announcement"); diff --git a/releases/5_6_24.php b/releases/5_6_24.php index 637e61b..049a3d0 100644 --- a/releases/5_6_24.php +++ b/releases/5_6_24.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_6_24.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.6.24 Release Announcement"); diff --git a/releases/5_6_25.php b/releases/5_6_25.php index bcdef2b..f79aabb 100644 --- a/releases/5_6_25.php +++ b/releases/5_6_25.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_6_25.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.6.25 Release Announcement"); diff --git a/releases/5_6_26.php b/releases/5_6_26.php index 08010e5..52d9591 100644 --- a/releases/5_6_26.php +++ b/releases/5_6_26.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_6_26.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.6.26 Release Announcement"); diff --git a/releases/5_6_27.php b/releases/5_6_27.php index c70ff4f..c003fa7 100644 --- a/releases/5_6_27.php +++ b/releases/5_6_27.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_6_27.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.6.27 Release Announcement"); diff --git a/releases/5_6_28.php b/releases/5_6_28.php index c1969f5..90d4a91 100644 --- a/releases/5_6_28.php +++ b/releases/5_6_28.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_6_28.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.6.28 Release Announcement"); diff --git a/releases/5_6_29.php b/releases/5_6_29.php index e1146e6..71c08a0 100644 --- a/releases/5_6_29.php +++ b/releases/5_6_29.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_6_29.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.6.29 Release Announcement"); diff --git a/releases/5_6_3.php b/releases/5_6_3.php index 51adb0b..aaba641 100644 --- a/releases/5_6_3.php +++ b/releases/5_6_3.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_6_3.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.6.3 Release Announcement"); diff --git a/releases/5_6_30.php b/releases/5_6_30.php index e47db92..684af26 100644 --- a/releases/5_6_30.php +++ b/releases/5_6_30.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_6_30.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.6.30 Release Announcement"); diff --git a/releases/5_6_31.php b/releases/5_6_31.php index 1bbb71e..d94780d 100644 --- a/releases/5_6_31.php +++ b/releases/5_6_31.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_6_31.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.6.31 Release Announcement"); diff --git a/releases/5_6_32.php b/releases/5_6_32.php index c9f4653..5e8de39 100644 --- a/releases/5_6_32.php +++ b/releases/5_6_32.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_6_32.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.6.32 Release Announcement"); diff --git a/releases/5_6_33.php b/releases/5_6_33.php index a4be95b..7e9fdf2 100644 --- a/releases/5_6_33.php +++ b/releases/5_6_33.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_6_33.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.6.33 Release Announcement"); diff --git a/releases/5_6_34.php b/releases/5_6_34.php index 865b3b7..676938c 100644 --- a/releases/5_6_34.php +++ b/releases/5_6_34.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_6_34.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.6.34 Release Announcement"); diff --git a/releases/5_6_35.php b/releases/5_6_35.php index 66d068c..ac7ea29 100644 --- a/releases/5_6_35.php +++ b/releases/5_6_35.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_6_35.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.6.35 Release Announcement"); diff --git a/releases/5_6_36.php b/releases/5_6_36.php index f5a4cb6..dc80255 100644 --- a/releases/5_6_36.php +++ b/releases/5_6_36.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_6_36.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.6.36 Release Announcement"); diff --git a/releases/5_6_37.php b/releases/5_6_37.php index 42dec17..da2595a 100644 --- a/releases/5_6_37.php +++ b/releases/5_6_37.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_6_37.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.6.37 Release Announcement"); diff --git a/releases/5_6_38.php b/releases/5_6_38.php index fdfd02b..6ea5d02 100644 --- a/releases/5_6_38.php +++ b/releases/5_6_38.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_6_38.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.6.38 Release Announcement"); diff --git a/releases/5_6_4.php b/releases/5_6_4.php index 56f3521..39bcad1 100644 --- a/releases/5_6_4.php +++ b/releases/5_6_4.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_6_4.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.6.4 Release Announcement"); diff --git a/releases/5_6_5.php b/releases/5_6_5.php index ed3e06d..4573497 100644 --- a/releases/5_6_5.php +++ b/releases/5_6_5.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_6_5.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.6.5 Release Announcement"); diff --git a/releases/5_6_6.php b/releases/5_6_6.php index d6945dc..5a56cbd 100644 --- a/releases/5_6_6.php +++ b/releases/5_6_6.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_6_6.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.6.6 Release Announcement"); diff --git a/releases/5_6_7.php b/releases/5_6_7.php index 9bbf03b..98a5bf8 100644 --- a/releases/5_6_7.php +++ b/releases/5_6_7.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_6_7.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.6.7 Release Announcement"); diff --git a/releases/5_6_8.php b/releases/5_6_8.php index 50b8644..007f989 100644 --- a/releases/5_6_8.php +++ b/releases/5_6_8.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_6_8.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.6.8 Release Announcement"); diff --git a/releases/5_6_9.php b/releases/5_6_9.php index e1ff0d6..30d6bac 100644 --- a/releases/5_6_9.php +++ b/releases/5_6_9.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/5_6_9.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 5.6.9 Release Announcement"); diff --git a/releases/7_0_1.php b/releases/7_0_1.php index 245e884..8b3b973 100644 --- a/releases/7_0_1.php +++ b/releases/7_0_1.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_0_1.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.0.1 Release Announcement"); diff --git a/releases/7_0_10.php b/releases/7_0_10.php index 58e42fe..e3e039e 100644 --- a/releases/7_0_10.php +++ b/releases/7_0_10.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_0_10.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.0.10 Release Announcement"); diff --git a/releases/7_0_11.php b/releases/7_0_11.php index bdee048..454a70f 100644 --- a/releases/7_0_11.php +++ b/releases/7_0_11.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_0_11.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.0.11 Release Announcement"); diff --git a/releases/7_0_12.php b/releases/7_0_12.php index ea6c0f0..d949fff 100644 --- a/releases/7_0_12.php +++ b/releases/7_0_12.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_0_12.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.0.12 Release Announcement"); diff --git a/releases/7_0_13.php b/releases/7_0_13.php index 1cec61a..456b714 100644 --- a/releases/7_0_13.php +++ b/releases/7_0_13.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_0_13.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.0.13 Release Announcement"); diff --git a/releases/7_0_14.php b/releases/7_0_14.php index 9c7acd9..2657383 100644 --- a/releases/7_0_14.php +++ b/releases/7_0_14.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_0_14.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.0.14 Release Announcement"); diff --git a/releases/7_0_15.php b/releases/7_0_15.php index d7f735e..131f550 100644 --- a/releases/7_0_15.php +++ b/releases/7_0_15.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_0_15.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.0.15 Release Announcement"); diff --git a/releases/7_0_16.php b/releases/7_0_16.php index 7c38293..9c79ce7 100644 --- a/releases/7_0_16.php +++ b/releases/7_0_16.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_0_16.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.0.16 Release Announcement"); diff --git a/releases/7_0_17.php b/releases/7_0_17.php index e1399c5..a2f1d99 100644 --- a/releases/7_0_17.php +++ b/releases/7_0_17.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_0_17.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.0.17 Release Announcement"); diff --git a/releases/7_0_18.php b/releases/7_0_18.php index fe23feb..7107bab 100644 --- a/releases/7_0_18.php +++ b/releases/7_0_18.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_0_18.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.0.18 Release Announcement"); diff --git a/releases/7_0_19.php b/releases/7_0_19.php index 5353cc0..b1858f7 100644 --- a/releases/7_0_19.php +++ b/releases/7_0_19.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_0_19.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.0.19 Release Announcement"); diff --git a/releases/7_0_2.php b/releases/7_0_2.php index 19e4a7b..7450840 100644 --- a/releases/7_0_2.php +++ b/releases/7_0_2.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_0_2.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.0.2 Release Announcement"); diff --git a/releases/7_0_20.php b/releases/7_0_20.php index 2ba9582..e2989fe 100644 --- a/releases/7_0_20.php +++ b/releases/7_0_20.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_0_20.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.0.20 Release Announcement"); diff --git a/releases/7_0_21.php b/releases/7_0_21.php index 99c9877..29fb77b 100644 --- a/releases/7_0_21.php +++ b/releases/7_0_21.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_0_21.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.0.21 Release Announcement"); diff --git a/releases/7_0_22.php b/releases/7_0_22.php index b2e06e3..6b048ad 100644 --- a/releases/7_0_22.php +++ b/releases/7_0_22.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_0_22.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.0.22 Release Announcement"); diff --git a/releases/7_0_23.php b/releases/7_0_23.php index 78b448d..94a3f01 100644 --- a/releases/7_0_23.php +++ b/releases/7_0_23.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_0_23.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.0.23 Release Announcement"); diff --git a/releases/7_0_24.php b/releases/7_0_24.php index c80a000..0c147ac 100644 --- a/releases/7_0_24.php +++ b/releases/7_0_24.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_0_24.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.0.24 Release Announcement"); diff --git a/releases/7_0_25.php b/releases/7_0_25.php index 800f0c6..4061951 100644 --- a/releases/7_0_25.php +++ b/releases/7_0_25.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_0_25.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.0.25 Release Announcement"); diff --git a/releases/7_0_26.php b/releases/7_0_26.php index f331e1b..21e6105 100644 --- a/releases/7_0_26.php +++ b/releases/7_0_26.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_0_26.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.0.26 Release Announcement"); diff --git a/releases/7_0_27.php b/releases/7_0_27.php index a1fce2a..ea13398 100644 --- a/releases/7_0_27.php +++ b/releases/7_0_27.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_0_27.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.0.27 Release Announcement"); diff --git a/releases/7_0_28.php b/releases/7_0_28.php index 2aef38c..f8c8cd8 100644 --- a/releases/7_0_28.php +++ b/releases/7_0_28.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_0_28.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.0.28 Release Announcement"); diff --git a/releases/7_0_29.php b/releases/7_0_29.php index 079279b..ce86edc 100644 --- a/releases/7_0_29.php +++ b/releases/7_0_29.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_0_29.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.0.29 Release Announcement"); diff --git a/releases/7_0_3.php b/releases/7_0_3.php index a9b04f5..2c3208f 100644 --- a/releases/7_0_3.php +++ b/releases/7_0_3.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_0_3.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.0.3 Release Announcement"); diff --git a/releases/7_0_30.php b/releases/7_0_30.php index 96f47b4..21d4c08 100644 --- a/releases/7_0_30.php +++ b/releases/7_0_30.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_0_30.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.0.30 Release Announcement"); diff --git a/releases/7_0_31.php b/releases/7_0_31.php index a748f25..7cb2f29 100644 --- a/releases/7_0_31.php +++ b/releases/7_0_31.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_0_31.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.0.31 Release Announcement"); diff --git a/releases/7_0_32.php b/releases/7_0_32.php index 9822ee4..656be17 100644 --- a/releases/7_0_32.php +++ b/releases/7_0_32.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_0_32.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.0.32 Release Announcement"); diff --git a/releases/7_0_4.php b/releases/7_0_4.php index d4a5392..502e1e0 100644 --- a/releases/7_0_4.php +++ b/releases/7_0_4.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_0_4.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.0.4 Release Announcement"); diff --git a/releases/7_0_5.php b/releases/7_0_5.php index 795abb9..da9621b 100644 --- a/releases/7_0_5.php +++ b/releases/7_0_5.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_0_5.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.0.5 Release Announcement"); diff --git a/releases/7_0_6.php b/releases/7_0_6.php index f9eb27f..53c548f 100644 --- a/releases/7_0_6.php +++ b/releases/7_0_6.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_0_6.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.0.6 Release Announcement"); diff --git a/releases/7_0_7.php b/releases/7_0_7.php index ffa8c37..8b1e5c1 100644 --- a/releases/7_0_7.php +++ b/releases/7_0_7.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_0_7.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.0.7 Release Announcement"); diff --git a/releases/7_0_8.php b/releases/7_0_8.php index d52d76f..10b6253 100644 --- a/releases/7_0_8.php +++ b/releases/7_0_8.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_0_8.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.0.8 Release Announcement"); diff --git a/releases/7_0_9.php b/releases/7_0_9.php index bc353d7..c3e4b98 100644 --- a/releases/7_0_9.php +++ b/releases/7_0_9.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_0_9.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.0.9 Release Announcement"); diff --git a/releases/7_1_0.php b/releases/7_1_0.php index 4da7b13..d4e2659 100644 --- a/releases/7_1_0.php +++ b/releases/7_1_0.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_1_0.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.1.0 Release Announcement"); diff --git a/releases/7_1_1.php b/releases/7_1_1.php index ff2472b..d30b0c4 100644 --- a/releases/7_1_1.php +++ b/releases/7_1_1.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_1_1.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.1.1 Release Announcement"); diff --git a/releases/7_1_10.php b/releases/7_1_10.php index ad91c96..743a0a1 100644 --- a/releases/7_1_10.php +++ b/releases/7_1_10.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_1_10.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.1.10 Release Announcement"); diff --git a/releases/7_1_11.php b/releases/7_1_11.php index ab6bd4a..a596f28 100644 --- a/releases/7_1_11.php +++ b/releases/7_1_11.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_1_11.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.1.11 Release Announcement"); diff --git a/releases/7_1_12.php b/releases/7_1_12.php index ce84ba2..50f61f4 100644 --- a/releases/7_1_12.php +++ b/releases/7_1_12.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_1_12.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.1.12 Release Announcement"); diff --git a/releases/7_1_13.php b/releases/7_1_13.php index eb1a084..2a3d758 100644 --- a/releases/7_1_13.php +++ b/releases/7_1_13.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_1_13.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.1.13 Release Announcement"); diff --git a/releases/7_1_14.php b/releases/7_1_14.php index eb17741..a192a26 100644 --- a/releases/7_1_14.php +++ b/releases/7_1_14.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_1_14.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.1.14 Release Announcement"); diff --git a/releases/7_1_15.php b/releases/7_1_15.php index 0cb8c1a..47ff0bd 100644 --- a/releases/7_1_15.php +++ b/releases/7_1_15.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_1_15.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.1.15 Release Announcement"); diff --git a/releases/7_1_16.php b/releases/7_1_16.php index e0fa818..f6aab03 100644 --- a/releases/7_1_16.php +++ b/releases/7_1_16.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_1_16.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.1.16 Release Announcement"); diff --git a/releases/7_1_17.php b/releases/7_1_17.php index 6385f73..1582250 100644 --- a/releases/7_1_17.php +++ b/releases/7_1_17.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_1_17.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.1.17 Release Announcement"); diff --git a/releases/7_1_18.php b/releases/7_1_18.php index 2f85dda..a7328c7 100644 --- a/releases/7_1_18.php +++ b/releases/7_1_18.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_1_18.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.1.18 Release Announcement"); diff --git a/releases/7_1_19.php b/releases/7_1_19.php index 323d9bb..971b3e1 100644 --- a/releases/7_1_19.php +++ b/releases/7_1_19.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_1_19.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.1.19 Release Announcement"); diff --git a/releases/7_1_2.php b/releases/7_1_2.php index e90eb35..537cc6a 100644 --- a/releases/7_1_2.php +++ b/releases/7_1_2.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_1_2.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.1.2 Release Announcement"); diff --git a/releases/7_1_20.php b/releases/7_1_20.php index c57b93a..2a65bf9 100644 --- a/releases/7_1_20.php +++ b/releases/7_1_20.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_1_20.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.1.20 Release Announcement"); diff --git a/releases/7_1_21.php b/releases/7_1_21.php index a705dcb..621e124 100644 --- a/releases/7_1_21.php +++ b/releases/7_1_21.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_1_21.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.1.21 Release Announcement"); diff --git a/releases/7_1_22.php b/releases/7_1_22.php index 7d7d253..4a9691f 100644 --- a/releases/7_1_22.php +++ b/releases/7_1_22.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_1_22.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.1.22 Release Announcement"); diff --git a/releases/7_1_23.php b/releases/7_1_23.php index 4e9ffff..6b60105 100644 --- a/releases/7_1_23.php +++ b/releases/7_1_23.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_1_23.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.1.23 Release Announcement"); diff --git a/releases/7_1_3.php b/releases/7_1_3.php index 2169e9d..03fd9b8 100644 --- a/releases/7_1_3.php +++ b/releases/7_1_3.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_1_2.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.1.3 Release Announcement"); diff --git a/releases/7_1_4.php b/releases/7_1_4.php index 1fb2cad..df64bc2 100644 --- a/releases/7_1_4.php +++ b/releases/7_1_4.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_1_4.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.1.4 Release Announcement"); diff --git a/releases/7_1_5.php b/releases/7_1_5.php index 91e1e96..73b32da 100644 --- a/releases/7_1_5.php +++ b/releases/7_1_5.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_1_5.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.1.5 Release Announcement"); diff --git a/releases/7_1_6.php b/releases/7_1_6.php index 9e31a2d..f83dd9b 100644 --- a/releases/7_1_6.php +++ b/releases/7_1_6.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_1_6.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.1.6 Release Announcement"); diff --git a/releases/7_1_7.php b/releases/7_1_7.php index d672b39..5db5574 100644 --- a/releases/7_1_7.php +++ b/releases/7_1_7.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_1_7.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.1.7 Release Announcement"); diff --git a/releases/7_1_8.php b/releases/7_1_8.php index 0e1aacf..6da5112 100644 --- a/releases/7_1_8.php +++ b/releases/7_1_8.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_1_8.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.1.8 Release Announcement"); diff --git a/releases/7_1_9.php b/releases/7_1_9.php index 7d9c66e..025680a 100644 --- a/releases/7_1_9.php +++ b/releases/7_1_9.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_1_9.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.1.9 Release Announcement"); diff --git a/releases/7_2_0.php b/releases/7_2_0.php index c2d79fc..cda3bfa 100644 --- a/releases/7_2_0.php +++ b/releases/7_2_0.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_2_0.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.2.0 Release Announcement"); diff --git a/releases/7_2_1.php b/releases/7_2_1.php index 3c19e36..6f24f7b 100644 --- a/releases/7_2_1.php +++ b/releases/7_2_1.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_2_1.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.2.1 Release Announcement"); diff --git a/releases/7_2_10.php b/releases/7_2_10.php index 64b7a99..7907b1f 100644 --- a/releases/7_2_10.php +++ b/releases/7_2_10.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_2_10.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.2.10 Release Announcement"); diff --git a/releases/7_2_11.php b/releases/7_2_11.php index 72ce603..839f024 100644 --- a/releases/7_2_11.php +++ b/releases/7_2_11.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_2_11.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.2.11 Release Announcement"); diff --git a/releases/7_2_2.php b/releases/7_2_2.php index df0db65..311dcd4 100644 --- a/releases/7_2_2.php +++ b/releases/7_2_2.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_2_2.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.2.2 Release Announcement"); diff --git a/releases/7_2_3.php b/releases/7_2_3.php index 2c1b4e7..470b458 100644 --- a/releases/7_2_3.php +++ b/releases/7_2_3.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_2_3.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.2.3 Release Announcement"); diff --git a/releases/7_2_4.php b/releases/7_2_4.php index 2cb7ffb..52c3b52 100644 --- a/releases/7_2_4.php +++ b/releases/7_2_4.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_2_4.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.2.4 Release Announcement"); diff --git a/releases/7_2_5.php b/releases/7_2_5.php index 8b3d5bd..bae67a8 100644 --- a/releases/7_2_5.php +++ b/releases/7_2_5.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_2_5.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.2.5 Release Announcement"); diff --git a/releases/7_2_6.php b/releases/7_2_6.php index af6c4dc..59b246b 100644 --- a/releases/7_2_6.php +++ b/releases/7_2_6.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_2_6.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.2.6 Release Announcement"); diff --git a/releases/7_2_7.php b/releases/7_2_7.php index d52c249..4e558a6 100644 --- a/releases/7_2_7.php +++ b/releases/7_2_7.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_2_7.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.2.7 Release Announcement"); diff --git a/releases/7_2_8.php b/releases/7_2_8.php index ab63068..a47d26a 100644 --- a/releases/7_2_8.php +++ b/releases/7_2_8.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_2_8.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.2.8 Release Announcement"); diff --git a/releases/7_2_9.php b/releases/7_2_9.php index eae476f..d62cda3 100644 --- a/releases/7_2_9.php +++ b/releases/7_2_9.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/7_2_9.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP 7.2.9 Release Announcement"); diff --git a/releases/index.php b/releases/index.php index 848fbde..a7b5c0b 100644 --- a/releases/index.php +++ b/releases/index.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'releases/index.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; include_once $_SERVER["DOCUMENT_ROOT"] . "/include/branches.inc"; diff --git a/results.php b/results.php index 40a7f50..713400a 100644 --- a/results.php +++ b/results.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'results.php'; include $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; include $_SERVER['DOCUMENT_ROOT'] . '/include/results.inc'; diff --git a/search.php b/search.php index 5a04127..d436c36 100644 --- a/search.php +++ b/search.php @@ -1,5 +1,4 @@ <?php // vim: et -// $Id$ $_SERVER['BASE_PAGE'] = 'search.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; diff --git a/security-note.php b/security-note.php index 4e928b1..c964938 100644 --- a/security-note.php +++ b/security-note.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'security-note.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("A Note on Security in PHP", array("current" => "docs")); diff --git a/security/crypt_blowfish.php b/security/crypt_blowfish.php index 5faca3b..2ff73e8 100644 --- a/security/crypt_blowfish.php +++ b/security/crypt_blowfish.php @@ -1,5 +1,4 @@ <?php -// $Id: index.php 230994 2007-03-01 17:10:22Z bjori $ $_SERVER['BASE_PAGE'] = 'security/index.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; diff --git a/security/index.php b/security/index.php index c0fb1f1..8fa15f4 100644 --- a/security/index.php +++ b/security/index.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'security/index.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; diff --git a/sitemap.php b/sitemap.php index a8901d1..158b443 100644 --- a/sitemap.php +++ b/sitemap.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'sitemap.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("Sitemap", array("current" => "help")); diff --git a/software.php b/software.php index 6e1fc78..c119e3b 100644 --- a/software.php +++ b/software.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'software.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("PHP Software", array("current" => "help")); diff --git a/stats/index.php b/stats/index.php index e027168..a4a270d 100644 --- a/stats/index.php +++ b/stats/index.php @@ -1,5 +1,4 @@ <?php -// $Id$ /* This page is displayed if there is no alias to override the stats directory distributed by rsync, diff --git a/styles/index.php b/styles/index.php index f08f574..aa1f979 100644 --- a/styles/index.php +++ b/styles/index.php @@ -1,6 +1,4 @@ <?php -// $Id$ - // Simulate a /styles shortcut call (which will lead to a manual page) $_SERVER['REQUEST_URI'] = '/styles'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; diff --git a/submit-event.php b/submit-event.php index 3959f5e..7211c6b 100644 --- a/submit-event.php +++ b/submit-event.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'submit-event.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/posttohost.inc'; diff --git a/support.php b/support.php index d833ddb..1133732 100644 --- a/support.php +++ b/support.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'support.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; diff --git a/thanks.php b/thanks.php index c6bb307..163155c 100644 --- a/thanks.php +++ b/thanks.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'thanks.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; site_header("Thanks", array("current" => "community")); diff --git a/ug.php b/ug.php index 8577a97..245a95e 100644 --- a/ug.php +++ b/ug.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'ug.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; diff --git a/unsub.php b/unsub.php index 04e8730..e83b817 100644 --- a/unsub.php +++ b/unsub.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'unsub.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; $SIDEBAR_DATA = ' diff --git a/urlhowto.php b/urlhowto.php index b99f38e..5d69c83 100644 --- a/urlhowto.php +++ b/urlhowto.php @@ -1,5 +1,4 @@ <?php -// $Id$ $_SERVER['BASE_PAGE'] = 'urlhowto.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc';