PHP date(): minutes without leading zeros

Question

I\'d like to know if there is a formatting letter for PHP\'s date() that allows me to print minutes without leading zeros, or whether I have to manuall

Answer 1

A quickie from me. Tell me what you think:

 2) return false;
    $n = isset($np) ? $np[0] : $n;      

    $nn = ltrim($n, '0');
    if($nn == '') $nn = '0';
    return $nn.(isset($nd) ? $nd : '').(isset($np[1]) ? $np[1] : '');
}

echo '0 => '._wo_leading_zero('0').'
'; // returns 0
echo '00 => '._wo_leading_zero('00').'
'; // returns 0
echo '05 => '._wo_leading_zero('05').'
'; // returns 5
echo '0009 => '._wo_leading_zero('0009').'
'; //returns 9
echo '01 => '._wo_leading_zero('01').'
'; //returns 1
echo '0000005567 => '._wo_leading_zero('0000005567').'
'; //returns 5567
echo '000.5345453 => '._wo_leading_zero('000.5345453').'
'; //returns 0.5345453
echo '000.5345453.2434 => '._wo_leading_zero('000.5345453.2434').'
'; //returns false
echo '000.534,2434 => '._wo_leading_zero('000.534,2434').'
'; //returns false

echo date('m').' => '._wo_leading_zero(date('m')).'
';
echo date('s').' => '._wo_leading_zero(date('s')).'
'; ?>