1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
|
<?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',
]);
}
}
|
