cvs: phpdoc /scripts revcheck.php

nlopess Fri Dec 16 23:24:19 2005 EDT Modified files: /phpdoc/scripts revcheck.php Log: update URLs to match the change of the software in the cvs machine http://cvs.php.net/viewcvs.cgi/phpdoc/scripts/revcheck.php?r1=1.54&r2=1.55&diff_format=u Index: phpdoc/scripts/revcheck.php diff -u phpdoc/scripts/revcheck.php:1.54 phpdoc/scripts/revcheck.php:1.55 --- phpdoc/scripts/revcheck.php:1.54 Mon Sep 19 19:35:35 2005 +++ phpdoc/scripts/revcheck.php Fri Dec 16 23:24:19 2005 @@ -81,9 +81,9 @@ REV_WIP => "wip", ); -// Option for the link to cvs.php.net: normal: "&f=h" -// long diff: "&f=h&num=10", unified (text): "&f=u" -define("CVS_OPT", "&amp;ty=u"); +// Option for the link to cvs.php.net: +define('CVS_OPT', '&amp;view=patch'); +define('CVS_OPT_NOWS', '&amp;view=diff&amp;diff_format=h'); // Initializing variables from parameters $LANG = $argv[1]; @@ -837,33 +837,33 @@ // This was the previous directory [first] $prev_dir = $new_dir = $DOCDIR."en"; - + // Go through all files collected foreach ($files_status as $num => $file) { - + // Make the maintainer a link, if we have that maintainer in the list if (isset($maint_by_nick[$file["maintainer"]])) { $file["maintainer"] = '<a href="#maint' . $maint_by_nick[$file["maintainer"]] . '">' . $file["maintainer"] . '</a>'; } - + // If we have a 'numeric' revision diff and it is not zero, // make a link to the CVS repository's diff script if ($file["revision"][2] != "n/a" && $file["revision"][2] !== 0) { - $url = 'http://cvs.php.net/diff.php/' . + $url = 'http://cvs.php.net/viewcvs.cgi/' . preg_replace( "'^".$DOCDIR."'", 'phpdoc/', $file['full_name']) . - '?r1=' . $file['revision'][1] . - '&amp;r2=' . $file['revision'][0] . - CVS_OPT; - $url_ws = $url . '&amp;ws=0'; + '?tr1=' . $file['revision'][1] . '&amp;tr2=' . $file['revision'][0] . + '&amp;r1=text&amp;r2=text'; + $url_ws = $url . CVS_OPT_NOWS; + $url .= CVS_OPT; $file['short_name'] = '<a href="' . $url . '">'. $file["short_name"] . '</a> '. '<a href="' . $url_ws . '">[NoWS]</a>'; } - + // Guess the new directory from the full name of the file $new_dir = dirname($file["full_name"]); - + // If this is a new directory, put out old dir lines if ($new_dir != $prev_dir && isset($lines)) { echo $prev_diplay_dir; @@ -1034,7 +1034,7 @@ $prev_dir = $new_dir; } - print "<tr class=wip><td><a href=\"http://cvs.php.net/co.php/phpdoc/en/$file\">$short_file</a></td>" . + print "<tr class=wip><td><a href=\"http://cvs.php.net/viewcvs.cgi/phpdoc/en/$file?view=markup\">$short_file</a></td>" . "<td class=r>$info[0]</td></tr>\n"; } print "</table>\n<p>&nbsp;</p>\n$navbar<p>&nbsp;</p>\n";