Hi,
On 07/13/2016 08:19 AM, Daniel Barrett wrote:
@requires extension mysql
and this extension is gone in PHP 7.0.
The old "mysql" extension was removed in favor of the "mysqli"
extension. MediaWiki should automatically use mysqli when it's available.
-- Legoktm