Récupérer les 10 plus grandes valeurs dans un fichier JSON

WRInaute impliqué
Bonjour,

je possède un fichier JSON ressemblant à ceci pour simplifier les choses :

[[10,"13",16,"35"],[19,"12",86,"35"],[21,"13",16,"3"],[8,"1",6,"35"],[77,"10",1,"36"]...

Je souhaite récupérer les 10 plus grandes valeurs se trouvant au début de chaque chaîne (dans cette exemple je veux parler de 10, 19, 21, 8, 77) dans un fichier complet.

D'après vous comment je peux procéder ?

Merci d'avance
 
WRInaute accro
PHP:
<?php
$json = '[[10,"13",16,"35"],[19,"12",86,"35"],[21,"13",16,"3"],[8,"1",6,"35"],[77,"10",1,"36"]]';
$arr = json_decode($json, true);
$result = array_map(function ($i) {
    return $i[0];
}, $arr);
 
Discussions similaires
Haut