php/web-jenkins
1
0
Fork 0
mirror of https://github.com/php/web-jenkins.git synced 2026-03-24 01:02:10 +01:00
Code Issues Packages Projects Releases Wiki Activity

master.php.net is case insensitive

Browse Source
This commit is contained in:
Ferenc Kovacs
2013-02-06 11:44:56 +01:00
parent 943e9398a8
commit faefc4758c
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
php.net/groups.php
View File

@@ -6,7 +6,7 @@ $admins = array (
'tyrael',
);
if (in_array($user, $admins)) {
if (in_array(strtolower($user), $admins)) {
echo 'jenkins-admins';
}