Advertisement
Guest User

Untitled

a guest
Mar 29th, 2020
102
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
PHP 0.14 KB | None | 0 0
  1. <?php
  2.     $lines = file('names.txt');
  3.     $lines = preg_grep("/Gilmore/", $lines);
  4.  
  5.     foreach ($lines as $name) {
  6.         echo "$name<br>";
  7.     }
  8. ?>
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement