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>
This commit is contained in:
zeon-neon[bot] 2024-12-22 04:01:00 +00:00 committed by GitHub
parent af763b0fa1
commit 4488706e8b
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -1,10 +1,10 @@
<?php <?php
// get useragent header // get useragent header
$user_agent = $_SERVER['HTTP_USER_AGENT']; $user_agent = $_SERVER["HTTP_USER_AGENT"];
if(strpos($user_agent, 'curl') !== false) { if (strpos($user_agent, "curl") !== false) {
include 'php/curl.php'; include "php/curl.php";
} else { } else {
include 'index.html'; include "index.html";
} }
?> ?>