-
Sub-task
-
Resolution: Won't Fix
-
Major
-
None
-
2.0
-
None
-
MOODLE_20_STABLE
i'm not too sure of the history of mod_resource but it seems to be phased out.
looking at upgrade scripts (mod_folder) resources seem to have been moved out of mod_resource.
mod_resource seems to be obsolete. greped
with only results from upgrade files.
we need to create search/document/modulename_document.php for all these resources that were moved out and into their own modules.
when this is done we can remove (i suppose) the search/document/resource_document.php altogether.