Merge "profileinfo: Suppress frivolous warning about usort callback"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 18 Nov 2015 04:14:06 +0000 (04:14 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 18 Nov 2015 04:14:06 +0000 (04:14 +0000)
profileinfo.php

index f44ee5a..609ea95 100644 (file)
@@ -436,7 +436,9 @@ if ( isset( $_REQUEST['filter'] ) ) {
        }
        $points[] = $s;
 
-       usort( $points, 'compare_point' );
+       // @codingStandardsIgnoreStart
+       @usort( $points, 'compare_point' );
+       // @codingStandardsIgnoreEnd
 
        foreach ( $points as $point ) {
                if ( strlen( $filter ) && !strstr( $point->name(), $filter ) ) {