Updated mediawiki/extensions
Project: mediawiki/extensions/PhpTagsWidgets  f5f01a151905fbe73e2a9794de68bf5b7905a936

fix onReady.js (v 3.9.1)

Change-Id: I1964a9d72f54c082164d483efa61cd7599583d5a