<?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);