Sebastian Kippe fca991c685

Add date to mediawiki edits ...

Use the day before, as we collect them at 7am every day.

2019-04-13 14:18:47 +01:00

..

github.js

Add date and time for GitHub issues and PRs

2019-04-13 14:04:41 +01:00

mediawiki.js

Add date to mediawiki edits

2019-04-13 14:18:47 +01:00