added php-die-file-line snippet