Merge "DefaultSettings: Remove deprecated $wgDBmysql5 from core"