common.get_wiki_timestamp() for posting timestamps to wiki log pages

This commit is contained in:
Hans-Christoph Steiner 2018-01-17 14:39:54 +01:00
parent e013fde8b9
commit df51a6e999
2 changed files with 9 additions and 8 deletions

View file

@ -3010,3 +3010,8 @@ def get_examples_dir():
examplesdir = prefix + '/examples'
return examplesdir
def get_wiki_timestamp():
"""Return current time in the standard format for posting to the wiki"""
return time.strftime("%Y-%m-%d %H:%M:%SZ", time.gmtime())