com web/master: Add PHP 5.6 here: manage/mirrors.php

Commit: b5f118fa76aea2bfd8bfbe2c97085d0e39022f2c Author: Rasmus Lerdorf <rasmus@php.net> Mon, 4 May 2015 22:47:26 -0700 Parents: 3711f2597baf9badd1a26f9e300758b9f1288a26 Branches: master Link: http://git.php.net/?p=web/master.git;a=commitdiff;h=b5f118fa76aea2bfd8bfbe2c97085d0e39022f2c Log: Add PHP 5.6 here Changed paths: M manage/mirrors.php Diff: diff --git a/manage/mirrors.php b/manage/mirrors.php index 23fa404..2119a86 100644 --- a/manage/mirrors..php +++ b/manage/mirrors.php @@ -328,6 +328,7 @@ function page_mirror_list($moreinfo = false) '53' => 0, '54' => 0, '55' => 0, + '56' => 0, 'other' => 0, ); // Query the whole mirror list and display all mirrors. The query is @@ -440,14 +441,16 @@ function page_mirror_list($moreinfo = false) // Increment the appropriate version for our statistical overview if (preg_match('/^5\.3/',$row['phpversion'])) { - $php_versions['53']++; - } elseif (preg_match('/^5.4/',$row['phpversion'])) { - $php_versions['54']++; - } elseif (preg_match('/^5.5/',$row['phpversion'])) { - $php_versions['55']++; - } else { - $php_versions['other']++; - } + $php_versions['53']++; + } elseif (preg_match('/^5..4/',$row['phpversion'])) { + $php_versions['54']++; + } elseif (preg_match('/^5.5/',$row['phpversion'])) { + $php_versions['55']++; + } elseif (preg_match('/^5.6/',$row['phpversion'])) { + $php_versions['56']++; + } else { + $php_versions['other']++; + } $summary .= '<td>'; $summary .= preg_match('/\w{2}/',$row['load_balanced']) ? '<img src="/images/Robin.ico" height="16" width="16"/>' : ''; @@ -506,6 +509,7 @@ function page_mirror_list($moreinfo = false) $php53_percent = sprintf('%.1f%%',($php_versions['53'] / $stats['mirrors']) * 100); $php54_percent = sprintf('%.1f%%',($php_versions['54'] / $stats['mirrors']) * 100); $php55_percent = sprintf('%.1f%%',($php_versions['55'] / $stats['mirrors']) * 100); + $php56_percent = sprintf('%.1f%%',($php_versions['56'] / $stats['mirrors']) * 100); $php_other_versions = sprintf('%.1f%%',($php_versions['other'] / $stats['mirrors']) * 100); $stats['has_stats_percent'] = sprintf('%.1f%%', $stats['has_stats'] / $stats['mirrors'] * 100); @@ -570,6 +574,9 @@ $statusscreen = <<< EOS <dt>PHP 5.5</dt> <dd>{$php55_percent}</dd> + <dt>PHP 5.6</dt> + <dd>{$php56_percent}</dd> + <dt>Other</dt> <dd>{$php_other_versions}</dd> </dl>