Merge remote-tracking branch 'origin/master'

2012-04-17 12:42:37 +02:00 · 2012-04-17 12:42:37 +02:00 · 15d013e6df
commit 15d013e6df
parent d308bec201 0c0e9c3d4d
1 changed files with 0 additions and 10 deletions
--- a/libraries/pmd_common.php
+++ b/libraries/pmd_common.php
@ -241,15 +241,5 @@ function get_tab_pos()
    return count($tab_pos) ? $tab_pos : null;
 }

-/**
- * returns  distinct values from $GLOBALS['PMD']['OWNER']
- *
- * @return  array   owner
- */
-function get_owners()
-{
-    return array_values(array_unique($GLOBALS['PMD']['OWNER']));
-}
-
 get_tabs();
 ?>