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