La cercavo anche io e non avendola trovata ho risolto artigianalmente

Codice PHP:
 if ( strlen($numero) == 1 ) $numero = "0".$numero ;