Updated mediawiki/extensions
Project: mediawiki/extensions/PhpTagsWidgets  7a75d693e3c4219fa073b6c4869ec270e9920d2b

add Vega widget (v 1.3.0)

* refactor GenericWidget
** refactor onReady.js
** fix WidgetSlick
** fix WidgetFontAwesome

Change-Id: Idcb6aec6a663173bca26609a729c7d8139f1f229