その月の最終日の出し方

初級編というか、ものすごくニッチなネタですが、メモ。あとで移すかも。
＃だって今マニュアル見て気がついたんですもの

	$lastdayofmonth = date("t",time());

で、今月分の最終日が出ます。これを応用すればどんな月にも対応可能。
まあ、タイプスタンプの制限はあるので*1古い日付を使用する場合には使えないでしょうが、
古典的な「ニシムクサムライ＋閏年計算」のロジックに頼らなくても、1行でいけるんですね。
参照：http://php.planetmirror.com/manual/ja/function.date.php
＃OSに頼った仕組みを使うな、と怒られそうですが

*1:1970〜2038年でしたっけ、生年月日関連だとNGっすね