diff --git a/libraries/common.lib.php b/libraries/common.lib.php
index 26d4d021c..496d65bbf 100644
--- a/libraries/common.lib.php
+++ b/libraries/common.lib.php
@@ -447,22 +447,6 @@ function PMA_showDocu($anchor) {
     }
 } // end of the 'PMA_showDocu()' function
 
-/**
- * Returns a link to the PHP documentation
- *
- * @param string  anchor in documentation
- *
- * @return  string  the URL
- *
- * @access  public
- */
-function PMA_getPHPDocLink($target) {
-    /* l10n: Language to use for PHP documentation, please use only languages which do exist in official documentation. */
-    $lang = _pgettext('PHP documentation language', 'en');
-
-    return 'http://php.net/manual/' . $lang . '/' . $target;
-}
-
 /**
  * Displays a link to the PHP documentation
  *
diff --git a/libraries/core.lib.php b/libraries/core.lib.php
index 2096b61bc..76d2c8612 100644
--- a/libraries/core.lib.php
+++ b/libraries/core.lib.php
@@ -250,6 +250,22 @@ function PMA_fatalError($error_message, $message_args = null)
     exit;
 }
 
+/**
+ * Returns a link to the PHP documentation
+ *
+ * @param string  anchor in documentation
+ *
+ * @return  string  the URL
+ *
+ * @access  public
+ */
+function PMA_getPHPDocLink($target) {
+    /* l10n: Language to use for PHP documentation, please use only languages which do exist in official documentation. */
+    $lang = _pgettext('PHP documentation language', 'en');
+
+    return 'http://php.net/manual/' . $lang . '/' . $target;
+}
+
 /**
  * Warn or fail on missing extension.
  *