saahildcom/public/index.php

<?php
// get useragent header
$user_agent = $_SERVER["HTTP_USER_AGENT"];

if (strpos($user_agent, "curl") !== false) {
    include "php/curl.php";
} else {
    include "index.html";
}
?>
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> 2024-12-22 04:01:00 +00:00			`<?php`
			`// get useragent header`
			`$user_agent = $_SERVER["HTTP_USER_AGENT"];`

			`if (strpos($user_agent, "curl") !== false) {`
			`include "php/curl.php";`
			`} else {`
			`include "index.html";`
			`}`
			`?>`