Fix PHP date to run on any language server