was stomping on keys. Patch by Dennis Rochford
merged from MOODLE_19_STABLE
*/
function get_roles() {
$context = get_context_instance(CONTEXT_SYSTEM);
- $roles = array_merge(array(0=> get_string('anyrole','filters')), get_assignable_roles($context));
+ $roles = array(0=> get_string('anyrole','filters')) + get_assignable_roles($context);
return $roles;
}
$displaylist = array();
$parentlist = array();
make_categories_list($displaylist, $parentlist);
- return array_merge(array(0=> get_string('anycategory', 'filters')), $displaylist);
+ return array(0=> get_string('anycategory', 'filters')) + $displaylist;
}
/**
*/
function get_roles() {
$context = get_context_instance(CONTEXT_SYSTEM);
- $roles = array_merge(array(0=> get_string('anyrole','filters')), get_assignable_roles($context));
+ $roles = array(0=> get_string('anyrole','filters')) + get_assignable_roles($context);
return $roles;
}