Code Duplication    Length = 3-3 lines in 7 locations

main/gradebook/lib/be/exerciselink.class.php 2 locations

@@ 54-56 (lines=3) @@
51
52
        $result = Database::query($sql);
53
        $cats = array();
54
        while ($data=Database::fetch_array($result)) {
55
            $cats[] = array ($data['id'], $data['title']);
56
        }
57
58
        return $cats;
59
    }
@@ 119-121 (lines=3) @@
116
        $cats = array();
117
        if (isset($result)) {
118
            if (Database::num_rows($result) > 0) {
119
                while ($data=Database::fetch_array($result)) {
120
                    $cats[] = array ($data['id'], $data['title']);
121
                }
122
            }
123
        }
124

main/gradebook/lib/be/learnpathlink.class.php 2 locations

@@ 47-49 (lines=3) @@
44
		$result = Database::query($sql);
45
46
		$cats=array();
47
		while ($data=Database::fetch_array($result)) {
48
			$cats[] = array ($data['id'], $data['name']);
49
		}
50
51
		return $cats;
52
	}
@@ 75-77 (lines=3) @@
72
		$result = Database::query($sql);
73
74
		$cats = array();
75
		while ($data=Database::fetch_array($result)) {
76
			$cats[] = array ($data['id'], $data['name']);
77
		}
78
79
		return $cats;
80
	}

main/gradebook/lib/be/studentpublicationlink.class.php 1 location

@@ 96-98 (lines=3) @@
93
        $result = Database::query($sql);
94
95
        $cats=array();
96
        while ($data = Database::fetch_array($result)) {
97
            $cats[] = array($data['id'], $data['url']);
98
        }
99
        return $cats;
100
    }
101

main/gradebook/lib/be/category.class.php 2 locations

@@ 1489-1491 (lines=3) @@
1486
        $result = Database::query($sql);
1487
1488
        $cats=array();
1489
        while ($data=Database::fetch_array($result)) {
1490
            $cats[] = array ($data['code'], $data['title']);
1491
        }
1492
1493
        return $cats;
1494
    }
@@ 1514-1516 (lines=3) @@
1511
1512
        $result = Database::query($sql);
1513
        $cats = array();
1514
        while ($data = Database::fetch_array($result)) {
1515
            $cats[] = array ($data['code'], $data['title']);
1516
        }
1517
1518
        return $cats;
1519
    }