add function 'php-file-grep'