Replace more uses of file_get_contents()