<?php

echo strtotime("2012-06-30 23:59:59 UTC"), "\n";
echo strtotime("2012-06-30 23:59:60 UTC"), "\n";
echo strtotime("2012-07-01 00:00:00 UTC"), "\n";

1341100799
1341100800
1341100800