Define User_group::$profile_id among class variables

diff --git a/classes/User_group.php b/classes/User_group.php
index 7bfb16e27f67df7e04d2a91c43a2a820fe3c00e3..b95ab228f6f5ecc00f51ffc21933aefa3a216f46 100644 (file)
--- a/classes/User_group.php
+++ b/classes/User_group.php
@@ -14,6 +14,7 @@ class User_group extends Managed_DataObject
 
     public $__table = 'user_group';                      // table name
     public $id;                              // int(4)  primary_key not_null
+    public $profile_id;                      // int(4)  primary_key not_null
     public $nickname;                        // varchar(64)
     public $fullname;                        // varchar(191)   not 255 because utf8mb4 takes more space
     public $homepage;                        // varchar(191)   not 255 because utf8mb4 takes more space