--- embedaddon/php/ext/session/config.w32 2012/02/21 23:48:01 1.1.1.1 +++ embedaddon/php/ext/session/config.w32 2012/05/29 12:34:42 1.1.1.2 @@ -1,10 +1,10 @@ -// $Id: config.w32,v 1.1.1.1 2012/02/21 23:48:01 misho Exp $ +// $Id: config.w32,v 1.1.1.2 2012/05/29 12:34:42 misho Exp $ // vim:ft=javascript ARG_ENABLE("session", "session support", "yes"); if (PHP_SESSION == "yes") { - EXTENSION("session", "session.c mod_files.c mod_mm.c mod_user.c", false /* never shared */); + EXTENSION("session", "mod_user_class.c session.c mod_files.c mod_mm.c mod_user.c", false /* never shared */); AC_DEFINE("HAVE_PHP_SESSION", 1, "Session support"); PHP_INSTALL_HEADERS("ext/session/", "mod_mm.h php_session.h mod_files.h mod_user.h"); }