Zend / PHP: dize tüm önde gelen 0s nasıl kaldırılır?

3 Cevap php

Ben sadece sayı içeren bir dize var. Şimdi bu dizeden tüm önde gelen 0s kaldırmak istiyorum

Örneğin:

input: 000000001230
output: 1230


input: 01000
output: 1000

Bu PHP / Zend herhangi bir işlevi var mı?

Teşekkürler

3 Cevap

Sadece int döküm değil mi?

$s = '00000414';
print (int)$s; // 414

Zend_Filter_Int da bu özel durum için çalışacaktır.