mapping filter_mapping(map,fun,ob,extra)
mapping map
string fun
object ob
mixed extra

Similar to filter_array but takes a mapping instead of an array.

See also: filter_array, map_array.
