- var_dump: documentation ( source)
- preg_match: documentation ( source)
<?php
var_dump (preg_match('/robot|spider|crawler|curl|^$/i', 'Mozilla/5.0 robot(Macintosh; Intel Mac OS X 10_9_4) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/37.0.2062.94 Safari/537.36'));