From 52499677c1e47d531fa60c082d2103c03490667f Mon Sep 17 00:00:00 2001
From: ruan <ruany@users.noreply.github.com>
Date: Sat, 10 Mar 2018 10:16:46 +0200
Subject: [PATCH] Refactor

---
 info.php            | 4 ++--
 lang/en_US.utf8.php | 2 --
 2 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/info.php b/info.php
index 7a72353..f362fcf 100644
--- a/info.php
+++ b/info.php
@@ -120,9 +120,9 @@ $type = $_GET['type'];
 $id = $_GET['id'];
 $page = new Page($type);
 
-($page->type !== null) or die($page->t("info.error.type.invalid"));
+($page->type !== null) or die("Unknown page type requested");
 
-filter_var($id, FILTER_VALIDATE_INT) or die($page->t("info.error.id.invalid"));
+filter_var($id, FILTER_VALIDATE_INT) or die("Invalid ID");
 
 $id = (int)$id;
 
diff --git a/lang/en_US.utf8.php b/lang/en_US.utf8.php
index 783092e..5090626 100644
--- a/lang/en_US.utf8.php
+++ b/lang/en_US.utf8.php
@@ -54,8 +54,6 @@ class DefaultLang {
         $array["error.name.unseen"] = "{name} has not joined before.";
         $array["error.name.invalid"] = "Invalid name.";
         $array["history.error.uuid.no-result"] = "No punishments found.";
-        $array["info.error.type.invalid"] = "Unknown page type requested.";
-        $array["info.error.id.invalid"] = "Invalid ID";
         $array["info.error.id.no-result"] = "Error: {type} not found in database.";
     }
 }