1
0
mirror of https://github.com/php/web-php.git synced 2026-03-23 23:02:13 +01:00

Lists: php-dev changed to php-internals on marc.info too. Both work however.

This commit is contained in:
Philip Olson
2007-10-01 18:40:52 +00:00
parent 917f78ade0
commit 79d9e6a837
2 changed files with 3 additions and 3 deletions

View File

@@ -228,7 +228,7 @@ if (isset($_POST['maillist'])) {
array (
'internals', 'Internals list',
'A medium volume list for those who want to help out with the development of PHP',
FALSE, 'php-dev', TRUE, "php.internals"
FALSE, 'php-internals', TRUE, "php.internals"
),
array (
'php-cvs', 'CVS commit list',

View File

@@ -38,7 +38,7 @@ if (!empty($_FORM['pattern'])) {
$_FORM['show'] = str_replace(",", "", $_FORM['show']);
// Mailing list search base URL
$ml_url = "http://marc.theaimsgroup.com/?r=1&w=2&q=b&";
$ml_url = "http://marc.info/?r=1&w=2&q=b&";
$ucp = urlencode($_FORM['pattern']);
// Do redirections for external search engines
@@ -52,7 +52,7 @@ if (!empty($_FORM['pattern'])) {
mirror_redirect("{$ml_url}l=php-general&s={$ucp}");
case "devlist" :
mirror_redirect("{$ml_url}l=php-dev&s={$ucp}");
mirror_redirect("{$ml_url}l=php-internals&s={$ucp}");
case "phpdoc" :
mirror_redirect("{$ml_url}l=phpdoc&s={$ucp}");