phpで月末のタイムスタンプを出力する

忘れがちなのでメモ。
月末のタイムスタンプは以下のとおり。

$month = [ その月 ];
$year = [ その年 ];
mktime(23,59,59,$month+1,0,$year);

日付を代入する第5引数をゼロにすると、前月の末日となる。今月末日を求める場合は、月に１を足す。
12月でも$monthにはそのまま12月と入れれば、全体で12月31日を返してくれる。