<?php
$arr = file('https://site/1.txt');
$arrLength = count($arr);
$lines = [];
while (count($lines) < 15) {
$n = mt_rand(0, $arrLength-1);
$lines[$n] = $arr[$n];
}
var_export($lines);
foreach($lines as $str){
echo htmlspecialchars($str);
}
?>
$arr = file('semantic.txt');
if(count($arr < 150)) {return false;}
shuffle($arr);
$res = array_slice($arr, 0, 150);
foreach($res as $str){
echo $str;
}