* (bug 7279) Use wfBaseName in place of basename() in more places
[lhc/web/wiklou.git] / maintenance / FiveUpgrade.inc
index f56e62b..c9fe2ee 100644 (file)
@@ -804,7 +804,7 @@ END;
                        array_shift( $against );
                }
 
-               array_push( $pieces, basename( $path ) );
+               array_push( $pieces, wfBaseName( $path ) );
 
                return implode( '/', $pieces );
        }