patch #2407785 [cleanup] ereg*() deprecated in PHP 5.3

2008-12-14 13:58:06 +00:00
parent c6bd88d51a
commit 398feb40fd
14 changed files with 47 additions and 45 deletions
--- a/libraries/plugin_interface.lib.php
+++ b/libraries/plugin_interface.lib.php
@@ -16,7 +16,7 @@
 * @uses    opendir()
 * @uses    readdir()
 * @uses    is_file()
- * @uses    eregi()
+ * @uses    preg_match()
 * @param   string  $plugins_dir    directrory with plugins
 * @param   mixed   $plugin_param   parameter to plugin by which they can decide whether they can work
 * @return  array                   list of plugins