From 3741f8d428d79bfcaed2e8a3f62cc9cac80662c5 Mon Sep 17 00:00:00 2001
From: Platonides <platonides@users.mediawiki.org>
Date: Thu, 15 Dec 2011 22:42:16 +0000
Subject: [PATCH] Added type hints

---
 profileinfo.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/profileinfo.php b/profileinfo.php
index b47033a723..37e7a04a8e 100644
--- a/profileinfo.php
+++ b/profileinfo.php
@@ -199,7 +199,7 @@ class profile_point {
 	}
 };
 
-function compare_point( $a, $b ) {
+function compare_point(profile_point $a, profile_point $b) {
 	global $sort;
 	switch ( $sort ) {
 	case "name":
-- 
2.20.1