Update MongoSearchExtension.php