Updated mediawiki/extensions
Project: mediawiki/extensions/Comments  8e3785e7c96629055e3736825a720d5a19ab0a21

Ran stylize.php and manually fixed function documentation

Change-Id: Ib007d4ef7739a5ec0f08387e58ad7d05ec5bba7c