PHP header 404

How to Return a 404 Header in PHP: Best Practices and Useful Tips