joereynolds / util.joereynoldsaudio

Random utilities that I occasionally use
0 stars 0 forks source link

webgrep : Use the DOMDocument better... #1

Closed joereynolds closed 8 years ago

joereynolds commented 8 years ago

Use DOMDocument::LoadHTMLFile instead of passing file_get_contents($url) to it.

Turn off the preservewhitespace option that it default set to True.

Also make the search case insensitive by default

http://php.net/manual/en/class.domdocument.php