Added type hints
authorPlatonides <platonides@users.mediawiki.org>
Thu, 15 Dec 2011 22:42:16 +0000 (22:42 +0000)
committerPlatonides <platonides@users.mediawiki.org>
Thu, 15 Dec 2011 22:42:16 +0000 (22:42 +0000)
profileinfo.php

index b47033a..37e7a04 100644 (file)
@@ -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":