function compare_point( profile_point $a, profile_point $b ) {
// phpcs:ignore MediaWiki.NamingConventions.ValidGlobalName.wgPrefix
function compare_point( profile_point $a, profile_point $b ) {
// phpcs:ignore MediaWiki.NamingConventions.ValidGlobalName.wgPrefix