com web/master: Add myself to mirror site admins: manage/mirrors.php
| From: | Dejan Marjanovic | Date: | Tue, 05 Jul 2016 13:35:12 +0000 |
| Subject: | com web/master: Add myself to mirror site admins: manage/mirrors.php | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-24936@lists.php.net to get a copy of this message | ||
Commit: 80c3f174572339b47afee9468cbb7420f4b4663d
Author: Dejan Marjanovic <dm@php.net> Tue, 5 Jul 2016 15:35:12 +0200
Parents: 876294ddc417ef30d6603075c00fd75ec7206133
Branches: master
Link: http://git.php.net/?p=web/master.git;a=commitdiff;h=80c3f174572339b47afee9468cbb7420f4b4663d
Log:
Add myself to mirror site admins
Changed paths:
M manage/mirrors.php
Diff:
diff --git a/manage/mirrors.php b/manage/mirrors.php
index f1a9465..50cc7a3 100644
--- a/manage/mirrors.php
+++ b/manage/mirrors.php
@@ -683,7 +683,7 @@ function is_mirror_site_admin($user) {
array(
"jimw", "rasmus", "andrei", "zeev",
"andi", "sas", "thies",
"rubys", "ssb", "imajes", "goba",
"derick", "cortesi", "wez",
- "bjori", "philip", "danbrown", "tyrael",
+ "bjori", "philip", "danbrown", "tyrael",
"dm",
)
)
) {