Source code quote in PHPn° 273

$menu2 = array();
foreach ($menu as $i=>$m) {
    $menu2[] = $m;
 }
$menu = $menu2;