use strftime js library
authorgregor herrmann <gregor@toastfreeware.priv.at>
Mon, 3 Sep 2018 16:02:08 +0000 (18:02 +0200)
committergregor herrmann <gregor@toastfreeware.priv.at>
Mon, 3 Sep 2018 16:02:08 +0000 (18:02 +0200)
commit3c0da30b37d61aa8ebeb2672ef64b1ce68e97112
treeaf1076f5f942531e1ebdc9954baec5399bddedab
parentd54f57a81207b2eb23eb8e5a39c1a055a6a51cc7
use strftime js library

that way we get german day/month names, and with a well-known formatting
web/static/seepark_web.js
web/templates/seepark_web.html