From 73eb0e152f4129d162c0eac7a44cc564e0c9e024 Mon Sep 17 00:00:00 2001 From: ruan Date: Fri, 9 Mar 2018 09:01:11 +0200 Subject: [PATCH] Add [IP Ban], [IP Mute] labels for info.php --- inc/page.php | 2 +- info.php | 12 ++++++++++++ lang/en_US.utf8.php | 2 ++ 3 files changed, 15 insertions(+), 1 deletion(-) diff --git a/inc/page.php b/inc/page.php index a79bb35..9824b58 100644 --- a/inc/page.php +++ b/inc/page.php @@ -165,7 +165,7 @@ class Page { // Under certain versions of PHP, there is a bug with BIT columns. // An empty string is returned no matter what the value is. // Workaround: cast to unsigned. - $selection = "id,uuid,reason,banned_by_name,banned_by_uuid,time,until,server_origin,server_scope,CAST(active AS UNSIGNED) AS active"; + $selection = "id,uuid,reason,banned_by_name,banned_by_uuid,time,until,server_origin,server_scope,CAST(active AS UNSIGNED) AS active,CAST(ipban AS UNSIGNED) AS ipban"; if ($table === $this->settings->table['warnings']) { $selection .= ",CAST(warned AS UNSIGNED) AS warned"; } diff --git a/info.php b/info.php index e65331c..7a72353 100644 --- a/info.php +++ b/info.php @@ -154,6 +154,18 @@ if ($st->execute(array($id))) { if (!($info instanceof KickInfo)) { $style = 'style="margin-left: 13px; font-size: 16px;"'; $active = $page->active($row); + $ipban = $page->active($row, 'ipban'); + if ($ipban === true) { + $idx = null; + if ($info instanceof BanInfo) { + $idx = "generic.ipban"; + } else if ($info instanceof MuteInfo) { + $idx = "generic.ipmute"; + } + if ($idx !== null) { + $header .= "" . $page->t($idx) . ""; + } + } if ($active === true) { $header .= "" . $page->t("generic.active") . ""; if ($permanent) { diff --git a/lang/en_US.utf8.php b/lang/en_US.utf8.php index 4cdbafd..783092e 100644 --- a/lang/en_US.utf8.php +++ b/lang/en_US.utf8.php @@ -23,6 +23,8 @@ class DefaultLang { $array["generic.ban"] = "Ban"; $array["generic.mute"] = "Mute"; + $array["generic.ipban"] = "IP " . $array["generic.ban"]; + $array["generic.ipmute"] = "IP " . $array["generic.mute"]; $array["generic.warn"] = "Warning"; $array["generic.kick"] = "Kick"; $array["generic.type"] = "Type";