While http_redirect() does some things for you (such as exiting, flushing output buffers and sending a common redirect body), this is not a standard function (it comes as part of an extension that has not even been preloaded), and therefore you do not you can rely on availability.
source share