https://blogs.backlinkworks.com/exploring-the-different-ways-to-exit-a-php-script/