Updated mediawiki/extensions
Project: mediawiki/extensions/PhpTagsWidgets  aa453fc27a85d309a210023a22d7fe159c0e36a4

fix version number (v 1.3.1)

Change-Id: Ic1662e4e81a9e68d531be1fecad37a8b0d63f286