/* English Default Translation for jQuery UI date picker plugin. */