From d9a6320d445e1e51669a776ead06285596016d1e Mon Sep 17 00:00:00 2001 From: xdrm-brackets Date: Thu, 8 Mar 2018 18:24:52 +0100 Subject: [PATCH] [module.professor.filter] removed unused repo --- build/api/module/professor/filterController.php | 3 --- 1 file changed, 3 deletions(-) diff --git a/build/api/module/professor/filterController.php b/build/api/module/professor/filterController.php index 97f7d47..40f75cb 100644 --- a/build/api/module/professor/filterController.php +++ b/build/api/module/professor/filterController.php @@ -35,9 +35,6 @@ class filterController{ $ues = []; extract($args); - /** @var ue $ue_repo */ - $ue_repo = Repo::getRepo('ue'); - /* (1) If no filter -> return error ---------------------------------------------------------*/