Updated mediawiki/extensions
Project: mediawiki/extensions/Widgets  3203857a2279a63b8e42b2e81c58b46ae768dcf6

Updated for newer version of Smarty (3.1.7)

Change-Id: I36d998c7a987ee827a35ada627acb6fbbfd6647c