Есть txt файл содержимое которого PHP: 1 12 123 1234 Есть второй txt содержимое которого PHP: 1 12 123 1234 12345 Нужно из второго файла удалить все строчки которые имеются в первом и получить третий txt файл с таким содержанием PHP: 12345 есть софт какойнибудь для этого?