From 4488706e8ba00d439c50c7ec8fff4b2651415bb3 Mon Sep 17 00:00:00 2001
From: "zeon-neon[bot]" <136533918+zeon-neon[bot]@users.noreply.github.com>
Date: Sun, 22 Dec 2024 04:01:00 +0000
Subject: [PATCH] enhancement(lint): Fix lint errors for public/index.php

Co-authored-by: NeonGamerBot-QK <saahilattud@gmail.com>
Signed-off-by: zeon-neon[bot] <136533918+zeon-neon[bot]@users.noreply.github.com>
---
 public/index.php | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

diff --git a/public/index.php b/public/index.php
index 3926767d..0be7eadb 100644
--- a/public/index.php
+++ b/public/index.php
@@ -1,10 +1,10 @@
-<?php
-// get useragent header
-$user_agent = $_SERVER['HTTP_USER_AGENT'];
-
-if(strpos($user_agent, 'curl') !== false) {
-include 'php/curl.php';
-} else {
-    include 'index.html';
-}
-?>
\ No newline at end of file
+<?php
+// get useragent header
+$user_agent = $_SERVER["HTTP_USER_AGENT"];
+
+if (strpos($user_agent, "curl") !== false) {
+    include "php/curl.php";
+} else {
+    include "index.html";
+}
+?>