Add missing /*$wgDBTableOptions*/

Change-Id: Id7fdc99dcef82b487bb5229e8f8edf9399d794b9
Merge "Add missing /*$wgDBTableOptions*/"