X-Git-Url: https://git.heureux-cyclage.org/?a=blobdiff_plain;f=profileinfo.php;h=c65f952ac2c31257d92a7e5c3f5010decb679b78;hb=578318e68856ef2f5258c67a50d815d06960e206;hp=264b5eb1c3890797f36031089c26df708ed72a9c;hpb=938dbc42b33a966efeaa94c80a70b2eb4908d1a2;p=lhc%2Fweb%2Fwiklou.git

diff --git a/profileinfo.php b/profileinfo.php
index 264b5eb1c3..c65f952ac2 100644
--- a/profileinfo.php
+++ b/profileinfo.php
@@ -37,9 +37,8 @@
  */
 
 // 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' );
 
@@ -294,7 +293,7 @@ class profile_point {
 	public function fmttime() {
 		return sprintf( '%5.02f', $this->time );
 	}
-};
+}
 
 function compare_point( profile_point $a, profile_point $b ) {
 	// phpcs:ignore MediaWiki.NamingConventions.ValidGlobalName.wgPrefix