Updated mediawiki/extensions
Project: mediawiki/extensions/Widgets  c695cdfb183acf648e11ce17494b453bfc0c6041

Improved formatting and comments

Change-Id: I887bda7849d19d5be346137efaa6f98ba292abbf