1
0
mirror of https://github.com/php/php-src.git synced 2026-04-24 16:38:25 +02:00

Merge branch 'PHP-7.1'

This commit is contained in:
Nikita Popov
2016-09-03 23:31:20 +02:00
+2
View File
@@ -1015,6 +1015,7 @@ static int add_zendext_info(zend_extension *ext) /* {{{ */ {
}
/* }}} */
#ifdef HAVE_LIBDL
PHPDBG_API const char *phpdbg_load_module_or_extension(char **path, char **name) /* {{{ */ {
DL_HANDLE handle;
char *extension_dir;
@@ -1155,6 +1156,7 @@ quit:
return NULL;
}
/* }}} */
#endif
PHPDBG_COMMAND(dl) /* {{{ */
{