com web/bugs: - Added str_size_and_int64 branch t o menu version (to report bug to this specifi c branch): include/functions.php
| From: | Felipe Pena | Date: | Mon, 04 Nov 2013 10:58:38 +0000 |
| Subject: | com web/bugs: - Added str_size_and_int64 branch t o menu version (to report bug to this specifi c branch): include/functions.php | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-17003@lists.php.net to get a copy of this message | ||
Commit: 0cb32869459a6ee9fb5773bb27f36c784135cbae
Author: Felipe Pena <felipensp@gmail.com> Mon, 4 Nov 2013 08:58:38 -0200
Parents: 896655fbb3c450c3e0de5c2db880c6045db6b525
Branches: master
Link: http://git.php.net/?p=web/bugs.git;a=commitdiff;h=0cb32869459a6ee9fb5773bb27f36c784135cbae
Log:
- Added str_size_and_int64 branch to menu version (to report bug to this specific branch)
Changed paths:
M include/functions.php
Diff:
diff --git a/include/functions.php b/include/functions.php
index a40fefe..61bc1f0 100644
--- a/include/functions.php
+++ b/include/functions.php
@@ -711,6 +711,7 @@ function show_version_options($current, $default = '')
if (!$use && $current) {
echo '<option selected="selected">' , htmlspecialchars($current) ,
"</option>\n";
}
+ echo '<option>str_size_and_int64 branch</option>', "\n";
echo '<option>Irrelevant</option>', "\n";
echo '<option value="earlier">Earlier? Upgrade first!</option>',
"\n";
}