Sorry, but your problem does not imply a bug in PHP itself.  For a
list of more appropriate places to ask for help using PHP, please
visit http://www.php.net/support.php as this bug system is not the
appropriate forum for asking support questions.  Due to the volume
of reports we can not explain in detail here why your report is not
a bug.  The support channels will be able to provide an explanation
for you.

Thank you for your interest in PHP.

This is not a bug. strtotime() can not parse *everything* you throw at it. In this case it sees the extra text "at" as a timezone abbreviation. But as it does not know the abbreviation, it gives up. You can see what it does by using date_parse():

derick@whisky:/tmp $ php -r 'var_dump( date_parse( "Nov 19, 2012 at 7:03 PM" ) );'

array(13) {
  'year' =>
  int(2012)
  'month' =>
  int(11)
  'day' =>
  int(19)
  'hour' =>
  int(19)
  'minute' =>
  int(3)
  'second' =>
  int(0)
  'fraction' =>
  double(0)
  'warning_count' =>
  int(0)
  'warnings' =>
  array(0) {
  }
  'error_count' =>
  int(1)
  'errors' =>
  array(1) {
    [13] =>
    string(47) "The timezone could not be found in the database"
  }
  'is_localtime' =>
  bool(true)
  'zone_type' =>
  int(0)
}