Código PHP:
Ver original<?php
$directorio = '/home/user/puntuaciones/';
foreach($archivos as $archivo) {
if (!is_file($directorio.$archivo)) continue; include($directorio.$archivo);
$usuarios[$puntos][] = basename($archivo,'.php'); }
$usuariosOrdenados = array(); foreach($usuarios as $grupo) {
$usuariosOrdenados = array_merge($usuariosOrdenados,$grupo); }
?>