From 79d9e6a8375bfbcaeded1aae435672ddaa10dbd4 Mon Sep 17 00:00:00 2001
From: Philip Olson <philip@php.net>
Date: Mon, 1 Oct 2007 18:40:52 +0000
Subject: [PATCH] Lists: php-dev changed to php-internals on marc.info too.
 Both work however.

---
 mailing-lists.php | 2 +-
 search.php        | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/mailing-lists.php b/mailing-lists.php
index 80a392c3a..618c6eec8 100644
--- a/mailing-lists.php
+++ b/mailing-lists.php
@@ -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',
diff --git a/search.php b/search.php
index f85f10ffd..aac8c3a4b 100644
--- a/search.php
+++ b/search.php
@@ -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}");