rica ederim, ayrıca yazdıgınız kodlar ile aynı işi yapacak kısa hali;

echo file_get_contents(rand(1, 10) . '.txt');