From: Raphaël Barrois <raphael.barrois@polytechnique.org>
Date: Tue, 25 Mar 2014 22:54:04 +0000 (+0100)
Subject: Merge branch 'xorg/maint' into xorg/master
X-Git-Tag: xorg/1.1.13~38
X-Git-Url: http://git.polytechnique.org/?a=commitdiff_plain;h=feeee7a3e81817d8abf324020cc7fc0b9425f657;hp=84440b3e140b49e052d90d07631fe83d63e5e04a;p=platal.git

Merge branch 'xorg/maint' into xorg/master
---

diff --git a/include/ufbuilder.inc.php b/include/ufbuilder.inc.php
index 9cb95cf..18d4195 100644
--- a/include/ufbuilder.inc.php
+++ b/include/ufbuilder.inc.php
@@ -856,6 +856,11 @@ class UFBF_SchoolIds extends UFB_Field
         return true;
     }
 
+    public function getEnvFieldNames()
+    {
+        return array($this->envfield, $this->reversed_envfield);
+    }
+
     protected function buildUFC(UserFilterBuilder $ufb)
     {
         $ufc = new UFC_SchoolId($this->type, $this->val);