Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:10650 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 52465 invoked by uid 1010); 20 Jun 2004 15:48:24 -0000 Delivered-To: ezmlm-scan-internals@lists.php.net Delivered-To: ezmlm-internals@lists.php.net Received: (qmail 52391 invoked from network); 20 Jun 2004 15:48:24 -0000 Received: from unknown (HELO jdi.jdimedia.nl) (212.204.192.51) by pb1.pair.com with SMTP; 20 Jun 2004 15:48:24 -0000 Received: from localhost (localhost [127.0.0.1]) by jdi.jdimedia.nl (8.12.10/8.12.10) with ESMTP id i5KFmLxr008360; Sun, 20 Jun 2004 17:48:23 +0200 Date: Sun, 20 Jun 2004 17:48:21 +0200 (CEST) X-X-Sender: derick@localhost To: Brad House cc: internals@lists.php.net In-Reply-To: <40D5AEE1.1080408@mainstreetsoftworks.com> Message-ID: References: <40D5AB1F.7060005@mainstreetsoftworks.com> <40D5AEE1.1080408@mainstreetsoftworks.com> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Subject: Re: [PHP-DEV] question on policy of renaming an extension From: derick@php.net (Derick Rethans) On Sun, 20 Jun 2004, Brad House wrote: > heh, well, I know I definitely do not have permissions > to do that then :) > Any assistance someone could provide me would be appreciated. > Also, I can go ahead an make a set of patches to finalize > the naming switch for the config.m4/w32 and the remaining > references in the code (and commit prior to renaming the > directory if desired). I would do that after, so that people can still checkout the old extension and use it with the old name. Derick