*/
// This endpoint is supposed to be independent of request cookies and other
-// details of the session. Log warnings for violations of the no-session
-// constraint.
-define( 'MW_NO_SESSION', 'warn' );
+// details of the session. Enforce this constraint with respect to session use.
+define( 'MW_NO_SESSION', 1 );
ini_set( 'zlib.output_compression', 'off' );
[ 'ORDER BY' => 'pf_name ASC' ]
);
-if ( isset( $_REQUEST['filter'] ) ) {
- $filter = $_REQUEST['filter'];
-} else {
- $filter = '';
-}
+$filter = $_REQUEST['filter'] ?? '';
?>
<form method="get" action="profileinfo.php">
$queries = [];
$sqltotal = 0.0;
+ /** @var profile_point|false $last */
$last = false;
foreach ( $res as $o ) {
$next = new profile_point( $o->pf_name, $o->pf_count, $o->pf_time, $o->pf_memory );
}
}
- $s = new profile_point( 'SQL Queries', 0, $sqltotal, 0, 0 );
+ $s = new profile_point( 'SQL Queries', 0, $sqltotal, 0 );
foreach ( $queries as $q ) {
$s->add_child( $q );
}