X-Git-Url: https://git.cyclocoop.org/%242?a=blobdiff_plain;f=profileinfo.php;h=0a60b08a277b5377fbb373a87f0821d4ddcdfe74;hb=3ff2615992ffb02a35931e4f19c09a602da689e0;hp=264b5eb1c3890797f36031089c26df708ed72a9c;hpb=352854ee0f82758e9c0fce2b8f44cfe01de9150d;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