X-Git-Url: https://git.heureux-cyclage.org/?p=lhc%2Fweb%2Fwiklou.git;a=blobdiff_plain;f=profileinfo.php;h=0a60b08a277b5377fbb373a87f0821d4ddcdfe74;hp=264b5eb1c3890797f36031089c26df708ed72a9c;hb=9d00d8783e9d74343fc0ea34ab228ce70684e4e4;hpb=9171317645de4d31c61c570a9e4fa765e09ecc4d 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