Translations:Manual:UpdateSearchIndex.php/9/en

The script will fail if the user executing the command doesn't have permissions to write to that file.