wp_die() not exclusively an early terminating function #200
Description
wp_die() is treated as if it terminated script execution early:
phpstan-wordpress/extension.neon
Lines 126 to 127 in 76f7835
But for wp_die('', '', ['exit' => false]) the script execution will not be terminated in any of WP's wp_die handlers.
if (somethingIsTrue()) {
$foo = true;
} elseif (orSomethingElseIsTrue()) {
$foo = false;
} else {
wp_die('', '', ['exit' => false])
}
doFoo($foo); // won't catch possibly undefined variable $foo