[FrameworkBundle] Workaround php -S ignoring auto_prepend_file

Author: nicolas-grekas

Resources/config/router_dev.php

@@ -21,6 +21,11 @@
  * @author: Albert Jessurum <[email protected]>
  */
 
+// Workaround https://bugs.php.net/64566
+if (ini_get('auto_prepend_file') && !in_array(realpath(ini_get('auto_prepend_file')), get_included_files(), true)) {
+    require ini_get('auto_prepend_file');
+}
+
 if (is_file($_SERVER['DOCUMENT_ROOT'].DIRECTORY_SEPARATOR.$_SERVER['SCRIPT_NAME'])) {
     return false;
 }

Resources/config/router_prod.php

@@ -21,6 +21,11 @@
  * @author: Albert Jessurum <[email protected]>
  */
 
+// Workaround https://bugs.php.net/64566
+if (ini_get('auto_prepend_file') && !in_array(realpath(ini_get('auto_prepend_file')), get_included_files(), true)) {
+    require ini_get('auto_prepend_file');
+}
+
 if (is_file($_SERVER['DOCUMENT_ROOT'].DIRECTORY_SEPARATOR.$_SERVER['SCRIPT_NAME'])) {
     return false;
 }