cvs: phpweb / cvs-php.php php-master-web/entry cvs-account.php

From: Date: Wed, 11 Jun 2008 21:29:06 +0000
Subject: cvs: phpweb / cvs-php.php php-master-web/entry cvs-account.php
Groups: php.webmaster 
Request: Send a blank email to php-webmaster+get-1916@lists.php.net to get a copy of this message
bjori Wed Jun 11 21:29:06 2008 UTC Modified files: /php-master-web/entry cvs-account.php /phpweb cvs-php.php Log: Send pecl account requests to pecl-dev@ as requested by Pierre http://cvs.php.net/viewvc.cgi/php-master-web/entry/cvs-account.php?r1=1.16&r2=1.17&diff_format=u Index: php-master-web/entry/cvs-account.php diff -u php-master-web/entry/cvs-account.php:1.16 php-master-web/entry/cvs-account.php:1.17 --- php-master-web/entry/cvs-account.php:1.16 Wed Jun 11 21:05:24 2008 +++ php-master-web/entry/cvs-account.php Wed Jun 11 21:29:06 2008 @@ -21,6 +21,12 @@ $failto = 'pear-group@php.net'; break; +case "pecl": + $mailto = 'pecl-dev@lists.php.net'; + $failto = 'group@php.net'; + break; + + default: die ("Unknown group"); } http://cvs.php.net/viewvc.cgi/phpweb/cvs-php.php?r1=1.43&r2=1.44&diff_format=u Index: phpweb/cvs-php.php diff -u phpweb/cvs-php.php:1.43 phpweb/cvs-php.php:1.44 --- phpweb/cvs-php.php:1.43 Wed Jun 11 21:05:25 2008 +++ phpweb/cvs-php.php Wed Jun 11 21:29:06 2008 @@ -1,5 +1,5 @@ <?php -// $Id: cvs-php.php,v 1.43 2008/06/11 21:05:25 bjori Exp $ +// $Id: cvs-php.php,v 1.44 2008/06/11 21:29:06 bjori Exp $ $_SERVER['BASE_PAGE'] = 'cvs-php.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/email-validation.inc'; @@ -64,7 +64,7 @@ if (empty($_POST['yesno']) || $_POST['yesno'] != 'yes') { $error .= "You did not fill the form out correctly. "; } - if (empty($_POST['group']) || !in_array($_POST['group'], array("php", "pear",))) { + if (empty($_POST['group']) || !in_array($_POST['group'], array("php", "pear","pecl",))) { $error .= "You did not fill out where to send the request. "; } @@ -363,6 +363,7 @@ <select name="group"> <option value="php" <?php if (!isset($_POST["group"]) || $_POST["group"] == "php") { echo 'selected="selected"'; } ?>>PHP Group</option> <option value="pear" <?php if (isset($_POST["group"]) && $_POST["group"] == "pear") { echo 'selected="selected"'; } ?>>PEAR Group</option> + <option value="pecl" <?php if (isset($_POST["group"]) && $_POST["group"] == "pecl") { echo 'selected="selected"'; } ?>>PEAR Group</option> </select> </td> </tr>

« previous php.webmaster (#1916) next »