diff --git a/libraries/common.inc.php b/libraries/common.inc.php
index d0644e7c5..dbe46276a 100644
--- a/libraries/common.inc.php
+++ b/libraries/common.inc.php
@@ -280,7 +280,7 @@ date_default_timezone_set(@date_default_timezone_get());
  * We really need this one!
  */
 if (! function_exists('preg_replace')) {
-    PMA_fatalError('strCantLoad', 'pcre');
+    PMA_warnMissingExtension('pcre', true);
 }
 
 /**