Updated mediawiki/extensions
Project: mediawiki/extensions/Flow  8fd80eaf4f2cbf847ba399157be849a9ab431fa1

Add missing /*$wgDBTableOptions*/

Change-Id: Id7fdc99dcef82b487bb5229e8f8edf9399d794b9