Merge branch 'master' into 'master'

Marius Burkard

2015-12-31 238326c6e7528571d0e8c68f310591206256ea77

1
2
3
4
5
6
<?php
 
$function_list['server_get,get_function_list,client_templates_get_all,server_get_serverid_by_ip,server_ip_get,server_ip_add,server_ip_update,server_ip_delete'] = 'Server functions';
$function_list['admin_record_permissions'] = 'Record permission changes';
 
?>