$ mysqlcheck mywiki --auto-repair --user=xxx --password=yyy

$ sudo grep -i version /var/www/html/wiki/includes/DefaultSettings.php
$wgVersion = '1.25.1';
...