Finally add a notice to hint people that using dl() is a bad idea...

diff --git a/ext/standard/dl.c b/ext/standard/dl.c
index d26556ebb371eec9fdaecaf6e0e55e2d0df380b7..b5f87dce39d2ad529723ec043556ecf37c315bea 100644 (file)
--- a/ext/standard/dl.c
+++ b/ext/standard/dl.c
@@ -81,6 +81,7 @@ PHP_FUNCTION(dl)
        } else if (PG(safe_mode)) {
                php_error_docref(NULL TSRMLS_CC, E_WARNING, "Dynamically loaded extensions aren't allowed when running in Safe Mode");
        } else {
+               zend_error(E_STRICT, "dl() is deprecated - use extension= in your php.ini");
                php_dl(*file, MODULE_TEMPORARY, return_value TSRMLS_CC);
                EG(full_tables_cleanup) = 1;
        }