jared
051ef6c915
Lint / PHP (phpcs PSR-12) (push) Failing after 31s
Lint / JS (eslint) (push) Successful in 8s
Lint / PHP requirements (version + extensions) (push) Successful in 22s
Lint / Deploy (push) Skipped
Security / PHP Security (semgrep) (push) Successful in 1m17s
Lint / Notify on failure (push) Successful in 8s
7 lines
238 B
PHP
7 lines
238 B
PHP
<?php
|
|
$p = parse_url($_SERVER['REQUEST_URI'], PHP_URL_PATH);
|
|
$f = __DIR__ . '/tinker' . $p;
|
|
if ($p !== '/' && is_file($f) && !str_ends_with($f, '.php')) { return false; }
|
|
chdir(__DIR__ . '/tinker');
|
|
require __DIR__ . '/tinker/index.php';
|