Merge "resourceloader: Make ResourceLoader::makeLoaderRegisterScript() internal"

[lhc/web/wiklou.git] / profileinfo.php

diff --git a/profileinfo.php b/profileinfo.php
index 264b5eb..0a60b08 100644 (file)
--- 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