1999-10-14 15:20:40 +00:00
|
|
|
/*
|
|
|
|
+----------------------------------------------------------------------+
|
2004-01-08 17:33:29 +00:00
|
|
|
| PHP Version 5 |
|
1999-10-14 15:20:40 +00:00
|
|
|
+----------------------------------------------------------------------+
|
2004-01-08 17:33:29 +00:00
|
|
|
| Copyright (c) 1997-2004 The PHP Group |
|
1999-10-14 15:20:40 +00:00
|
|
|
+----------------------------------------------------------------------+
|
2003-06-10 20:04:29 +00:00
|
|
|
| This source file is subject to version 3.0 of the PHP license, |
|
1999-10-14 15:20:40 +00:00
|
|
|
| that is bundled with this package in the file LICENSE, and is |
|
2003-06-10 20:04:29 +00:00
|
|
|
| available through the world-wide-web at the following url: |
|
|
|
|
| http://www.php.net/license/3_0.txt. |
|
1999-10-14 15:20:40 +00:00
|
|
|
| If you did not receive a copy of the PHP license and are unable to |
|
|
|
|
| obtain it through the world-wide-web, please send a note to |
|
|
|
|
| license@php.net so we can mail you a copy immediately. |
|
|
|
|
+----------------------------------------------------------------------+
|
2002-02-28 08:29:35 +00:00
|
|
|
| Author: Thies C. Arntzen <thies@thieso.net> |
|
1999-10-14 15:20:40 +00:00
|
|
|
+----------------------------------------------------------------------+
|
|
|
|
*/
|
|
|
|
|
|
|
|
/* $Id$ */
|
|
|
|
|
2000-07-02 23:46:51 +00:00
|
|
|
#ifndef PHP_READLINE_H
|
|
|
|
#define PHP_READLINE_H
|
1999-10-14 15:20:40 +00:00
|
|
|
|
2001-01-18 11:42:09 +00:00
|
|
|
#if HAVE_LIBREADLINE || HAVE_LIBEDIT
|
1999-10-14 16:53:51 +00:00
|
|
|
#ifdef ZTS
|
1999-12-08 11:48:10 +00:00
|
|
|
#warning Readline module will *NEVER* be thread-safe
|
1999-10-14 16:53:51 +00:00
|
|
|
#endif
|
|
|
|
|
1999-10-14 15:20:40 +00:00
|
|
|
extern zend_module_entry readline_module_entry;
|
|
|
|
#define phpext_readline_ptr &readline_module_entry
|
|
|
|
|
|
|
|
#else
|
|
|
|
|
|
|
|
#define phpext_readline_ptr NULL
|
|
|
|
|
|
|
|
#endif /* HAVE_LIBREADLINE */
|
|
|
|
|
2000-07-02 23:46:51 +00:00
|
|
|
#endif /* PHP_READLINE_H */
|
1999-10-14 15:20:40 +00:00
|
|
|
|