More debugging.  Dump unneeded function from booking.php.