X-Git-Url: https://git.heureux-cyclage.org/?a=blobdiff_plain;f=profileinfo.php;h=0a60b08a277b5377fbb373a87f0821d4ddcdfe74;hb=56230b89115ca8b8a048d41eac8b069062b44d1f;hp=264b5eb1c3890797f36031089c26df708ed72a9c;hpb=6704cbe78f5817baff78308ad27145002d40ccec;p=lhc%2Fweb%2Fwiklou.git diff --git a/profileinfo.php b/profileinfo.php index 264b5eb1c3..0a60b08a27 100644 --- a/profileinfo.php +++ b/profileinfo.php @@ -294,7 +294,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