@ -30,6 +30,11 @@
*/
#ifdef HAVE_CONFIG_H
#include "config.h"
#endif
#include <php_config.h>
static const char rcsid[] = "#(@) $Id$";