From 88175dbe9da209120546ae342ce6ff6b65258d08 Mon Sep 17 00:00:00 2001 From: Skylar Ittner Date: Wed, 2 Nov 2016 19:36:38 -0600 Subject: [PATCH] Fix annoying "Undefined index" warning in server error.log --- required.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/required.php b/required.php index 4b07ded..ac9262b 100644 --- a/required.php +++ b/required.php @@ -9,7 +9,7 @@ session_start(); header("Access-Control-Allow-Origin: *"); -if (strtolower($_GET['format']) == 'plain') { +if (isset($_GET['format']) && strtolower($_GET['format']) == 'plain') { define("JSON", false); header('Content-Type: text/plain; charset=utf-8'); } else { @@ -65,5 +65,5 @@ if ($_SERVER['REQUEST_METHOD'] === 'POST') { * @return boolean True if it's empty or whatever. */ function is_empty($str) { - return (!isset($str) || $str == '' || $str == null); + return (is_null($str) || !isset($str) || $str == ''); }