Re: [MediaWiki-l] Do we need wgDBmysql5 for MediaWiki 1.30?