Author: Derick Rethans (derickr)
Date: 2025-04-17T16:43:06+01:00
Commit: Align admin users with GH Org admins · php/web-master@bfa3b17 · GitHub
Raw diff: https://github.com/php/web-master/commit/bfa3b1793e7957ba523b1bdd8c7870d62a825590.diff
Align admin users with GH Org admins
Changed paths:
M include/functions.inc
Diff:
diff --git a/include/functions.inc b/include/functions.inc
index b278a0f..8c75120 100644
--- a/include/functions.inc
+++ b/include/functions.inc
@@ -266,72 +266,24 @@ function is_admin($user) {
$admins = [
"jimw",
"rasmus",
- "andrei",
- "zeev",
- "andi",
"sas",
- "thies",
- "rubys",
- "ssb",
- "wez",
- "shane",
- "sterling",
- "goba",
- "imajes",
- "jon",
- "alan_k",
"stas",
- "iliaa",
- "jmcastagnetto",
"mj",
- "gwynne",
- "lsmith",
- "dsp",
"philip",
"davidc",
- "helly",
"derick",
- "bjori",
- "pajoye",
- "danbrown",
- "felipe",
- "johannes",
- "tyrael",
- "salathe",
"cmb",
"kalle",
"krakjoe",
- "nikic"
+ "pollita",
+ "ilutov",
+ "bukka",
];
return in_array($user, $admins);
}
function is_mirror_site_admin($user) {
- $admins = [
- "jimw",
- "rasmus",
- "andrei",
- "zeev",
- "andi",
- "sas",
- "thies",
- "rubys",
- "ssb",
- "imajes",
- "goba",
- "derick",
- "cortesi",
- "wez",
- "bjori",
- "philip",
- "danbrown",
- "tyrael",
- "dm",
- "kalle",
- "googleguy",
- "nikic"
- ];
- return in_array($user, $admins);
+ return is_admin($user);
}
# returns false if $user is not allowed to modify $userid