gl-website-deployer/admin/phpMyAdmin/libraries/classes/Profiling.php

81 lines
2.2 KiB
PHP
Raw Normal View History

2024-11-19 08:02:04 +01:00
<?php
declare(strict_types=1);
namespace PhpMyAdmin;
use PhpMyAdmin\Utils\SessionCache;
/**
* Statement resource usage.
*/
final class Profiling
{
public static function isSupported(DatabaseInterface $dbi): bool
{
if (SessionCache::has('profiling_supported')) {
return (bool) SessionCache::get('profiling_supported');
}
/**
* 5.0.37 has profiling but for example, 5.1.20 does not
* (avoid a trip to the server for MySQL before 5.0.37)
* and do not set a constant as we might be switching servers
*/
if ($dbi->fetchValue('SELECT @@have_profiling')) {
SessionCache::set('profiling_supported', true);
return true;
}
SessionCache::set('profiling_supported', false);
return false;
}
public static function enable(DatabaseInterface $dbi): void
{
if (! isset($_SESSION['profiling']) || ! self::isSupported($dbi)) {
return;
}
$dbi->query('SET PROFILING=1;');
}
/** @return array<string, string>|null */
public static function getInformation(DatabaseInterface $dbi): ?array
{
if (! isset($_SESSION['profiling']) || ! self::isSupported($dbi)) {
return null;
}
return $dbi->fetchResult('SHOW PROFILE;');
}
/**
* Check if profiling was requested and remember it.
*/
public static function check(DatabaseInterface $dbi, ResponseRenderer $response): void
{
if (isset($_REQUEST['profiling']) && self::isSupported($dbi)) {
$_SESSION['profiling'] = true;
} elseif (isset($_REQUEST['profiling_form'])) {
// the checkbox was unchecked
unset($_SESSION['profiling']);
}
if (! isset($_SESSION['profiling'])) {
return;
}
$scripts = $response->getHeader()->getScripts();
$scripts->addFiles([
'chart.js',
'vendor/jqplot/jquery.jqplot.js',
'vendor/jqplot/plugins/jqplot.pieRenderer.js',
'vendor/jqplot/plugins/jqplot.highlighter.js',
'vendor/jquery/jquery.tablesorter.js',
]);
}
}