Description:
------------
On the following page:

http://www.php.net/manual/en/ini.core.php#ini.auto-prepend-file

the manual says that the file specified by auto_prepend_file is included as if it were called by include(). Whereas, in fact, it seems that the file is included as if it were called by require(), not by include().

The only difference between include() and require() (at least according to the documentation at http://us.php.net/manual/en/function.require.php) is that require() will throw a fatal error if the target file cannot be included, whereas include() does not and only throws a warning.

auto_prepend_file throws a fatal error if the target file cannot be found. Therefore, I think it is more accurate to say that the behavior of auto_prepend_file is closest to require(), not to include(), and that the documentation should be changed accordingly.

Reproduce code:
---------------
n/a

Expected result:
----------------
n/a

Actual result:
--------------
n/a