some minor changes
shortened convertMixedTimeToTimestamp and convertTimeToTimestamp a bit
improved phpdoc headers