[PHP] Script con array con numeri che iniziano per 00

aiellog00

Nuovo Utente
28 Gen 2019
2
0
1
Salve a tutti,
questo script funziona solo per gli array che hanno 1 come iniziale e non 0
Come posso fare??
Vi riporto la parte dello script

PHP:
$array_ore = array(0000,0015,0030,0045,0100,0115,0130,0145,0200,0215,0230,0245,0300,0315,0330,0345,0400,0415,0430,0445,0500,0515,0530,0545,0600,0615,0630,0645,0700,0715,0730,0745,0800,0815,0830,0845,0900,0915,0930,0945,1000,1015,1030,1045,1100,1115,1130,1145,1200,1215,1230,1245,1300,1315,1330,1345,1400,1415,1430,1445,1500,1515,1530,1545,1600,1615,1630,1645,1700,1715,1730,1745,1800,1815,1830,1845,1900,1915,1930,1945,2000,2015,2030,2045,2100,2115,2130,2145,2200,2215,2230,2245,2300,2315,2330,2345,2400) ;
if ( empty($_GET['ore']) || !in_array($_GET['ore'],$array_ore) ) $_GET['ore'] = '0000' ;

$array_tipo = array('vr','vm','ta','pr' ) ;
if ( empty($_GET['tipo']) || !in_array($_GET['tipo'],$array_tipo) ) $_GET['tipo'] = 'vr' ;

if ( $_GET['tipo'] == 'vr' ) $file_sorgente = 'http://miosito/'.$_GET['ore'].'.png' ;
Grazie per eventuali risposte
Ciao