Use PHP date() formats in JavaScript