[Pywikibot-commits] [Gerrit] [BUGFIX] import time used by putting the page - change (pywikibot/core)

jenkins-bot has submitted this change and it was merged.

Change subject: [BUGFIX] import time used by putting the page ......................................................................

[BUGFIX] import time used by putting the page

Change-Id: I3268211f034294c095e0de932600922de50db838 --- M scripts/add_text.py 1 file changed, 1 insertion(+), 0 deletions(-)

Approvals: Merlijn van Deen: Looks good to me, approved jenkins-bot: Verified

diff --git a/scripts/add_text.py b/scripts/add_text.py index 673f1a5..310bf85 100644 --- a/scripts/add_text.py +++ b/scripts/add_text.py @@ -74,6 +74,7 @@ import re import webbrowser import codecs +import time

import pywikibot from pywikibot import config