X-Git-Url: https://git.heureux-cyclage.org/?a=blobdiff_plain;f=profileinfo.php;h=0a60b08a277b5377fbb373a87f0821d4ddcdfe74;hb=dfc47317052f2523218ca24781385a13117668b8;hp=264b5eb1c3890797f36031089c26df708ed72a9c;hpb=f198082a7cbda102779b4772d0f2bf2c573a9c54;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