inc/users.inc.php
changeset 58 78558a77131e
parent 55 a885f557678f
child 65 ce1c4d5e1576
equal deleted inserted replaced
57:acc4da012674 58:78558a77131e
    17  *
    17  *
    18  *  You should have received a copy of the GNU General Public License
    18  *  You should have received a copy of the GNU General Public License
    19  *  along with this program.  If not, see <http://www.gnu.org/licenses/>.
    19  *  along with this program.  If not, see <http://www.gnu.org/licenses/>.
    20  */
    20  */
    21 
    21 
    22 // Added next line to enable i18n on following definitions. Don't know 
    22 require_once("inc/toolkit.inc.php");
    23 // if this is the best (or at least a proper) location for this. /RZ.
       
    24 require_once("inc/i18n.inc.php");
       
    25 
    23 
    26 /*
    24 /*
    27  * Retrieve all users.
    25  * Retrieve all users.
    28  * Its to show_users therefore the odd name. Has to be changed.
    26  * Its to show_users therefore the odd name. Has to be changed.
    29  * return values: an array with all users in it.
    27  * return values: an array with all users in it.