Removed obsolete has_locale helper.

diff --git a/includes/lang/language.php b/includes/lang/language.php
index 0727222cd09a6338c3ea56ec0c82977815a0bea3..a444838c22d40fb8df9eca1f66fffe1a3e445c93 100644 (file)
--- a/includes/lang/language.php
+++ b/includes/lang/language.php
@@ -93,24 +93,6 @@ class language
        }
 
 }
-/*
-       Test if named function is defined in locale.inc file.
-*/
-function has_locale($fun=null)
-{
-       global $path_to_root;
-       
-       if ($_SESSION['language']->is_locale_file)
-       {
-               global $path_to_root;
-               include_once($path_to_root . "/lang/" . 
-                       $_SESSION['language']->code . "/locale.inc");
-
-               if (!isset($fun) || function_exists($fun))
-                       return true;
-       }
-       return false;
-}
 
 function _set($key,$value) 
 {