title: best way to strip a leading 0 from numerical representation of a month?
body: <p>So I have a PHP variable w/ a (possibly the current, possibly not) month in it in the form of ##. If the month is less then October I want to take the leading 0 out. Is there a good and simple way to do this? </p>