Merge "Fix a PHPCS warning in SearchMySQL.php"