var androidFiles = <?php $out = array();
foreach (glob('versiones/android/*.apk') as $filename) {
    $p = pathinfo($filename);
    $out[] = $p['filename'];
}
echo json_encode($out); ?>;