Anonymous

<?php$records = array(1,                 2,                 3,                 4,                 5);shuffle($records);var_dump($records);$keys = array_keys($records);for ( $j = 1; $j < count($records) ; $j++ ) {    $i = $j - 1;    $k = $keys[$j];    $r = $records[$j];    while ( $k >= $keys[$i] ) {        $records[$i + 1] = $records[$i];                $i--;        if ( $i <= 0 ) {            break;        }    }    $records[$i + 1] = $r; }var_dump($records);