"use" should use arg+".php" as parameter to require

diff --git a/Zend/zend-scanner.l b/Zend/zend-scanner.l
index 0cbc2934a915d01819d9356df35cefe0c8814507..1561102965ad0a6db8a00fab139eb5726598329c 100644 (file)
--- a/Zend/zend-scanner.l
+++ b/Zend/zend-scanner.l
@@ -481,6 +481,28 @@ int require_filename(char *filename, zend_bool unique CLS_DC)
 }
 
 
+int use_filename(char *filename, zend_bool unique CLS_DC)
+{
+       zend_file_handle file_handle;
+       int filenamelen;
+       char *newfile;
+
+       filenamelen = strlen(filename);
+       newfile = emalloc(filenamelen + 5);
+       strcpy(newfile, filename);
+       strcpy(newfile+strnamelen, ".php");
+       newfile[filenamelen+4] = '\0';
+
+       file_handle.type = ZEND_HANDLE_FILENAME;
+       file_handle.filename = newfile;
+       if (require_file(&file_handle, unique CLS_CC)==FAILURE) {
+               zend_bailout();
+               return FAILURE; /* will never get here */
+       }
+       return SUCCESS;
+}
+
+
 int require_file(zend_file_handle *file_handle, zend_bool unique CLS_DC)
 {
        zend_lex_state original_lex_state;