[git] web/qa.git branch master updated. b63043b
| From: | johannes@php.net | Date: | Sun, 04 Mar 2012 23:16:36 +0000 |
| Subject: | [git] web/qa.git branch master updated. b63043b | ||
| Groups: | php.qa | ||
| Request: | Send a blank email to php-qa+get-66125@lists.php.net to get a copy of this message | ||
The branch, master on web/qa.git has been updated
via b63043ba57549a44b5398c8233ad1704ef81671a (commit)
from afcb95867b06d3926a2e43cd1fd7f583b0191455 (commit)
http://git.php.net/?p=web/qa.git;a=log;h=b63043ba57549a44b5398c8233ad1704ef81671a;hp=afcb95867b06d3926a2e43cd1fd7f583b0191455
Summary of changes:
pulls/index.php | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
-- Log ----------------------------------------
commit b63043ba57549a44b5398c8233ad1704ef81671a
Author: Johannes Schlueter <johannes@schlueters.de>
Date: Mon Mar 5 00:04:47 2012 +0100
Use getenv() instead of $_ENV.
diff --git a/pulls/index.php b/pulls/index.php
index f70e8a8..d4bed25 100644
--- a/pulls/index.php
+++ b/pulls/index.php
@@ -106,7 +106,7 @@ $ git push origin master # everything okay? good, let's push it
</div>
<h1>Github Pull Requests</h1>
<?php
-if (empty($_ENV['AUTH_TOKEN'])) {
+if (!getenv('AUTH_TOKEN')) {
echo '<div style="width: 100%; border: 2px solid red;
padding:10px;"><b>Error:</b> AUTH_TOKEN not set</div><br>';
}
Thank you for your contribution.