mirror_php/moodle
1
0
Fork 0
mirror of https://github.com/moodle/moodle.git synced 2025-05-01 14:09:01 +02:00
Code Issues Projects Releases Wiki Activity

"MDL-21103, check if repository plugin existed"

Browse Source
This commit is contained in:
Dongsheng Cai 2009-12-15 08:09:00 +00:00
parent 6926df754e
commit 062d21cd71
1 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
repository/lib.php
View File

@ -659,6 +659,9 @@ abstract class repository {
$repositories = array();
$ft = new file_type_to_ext();
foreach ($records as $record) {
if (!file_exists($CFG->dirroot . '/repository/'. $record->repositorytype.'/repository.class.php')) {
continue;
}
require_once($CFG->dirroot . '/repository/'. $record->repositorytype.'/repository.class.php');
$options['visible'] = $record->visible;
$options['name'] = $record->name;
@ -1774,12 +1777,12 @@ function repository_head_setup() {
$PAGE->requires->yui_lib('button')->in_head();
$PAGE->requires->yui_lib('selector')->in_head();
//TODO: remove the ->in_head() once we refactor the inline script tags in repo code
$PAGE->requires->js('repository/repository.src.js')->in_head();
//TODO: remove following after we moe the content of file
// proper place (==themes)
$PAGE->requires->css('repository/repository.css');
//TODO: remove the ->in_head() once we refactor the inline script tags in repo code
$PAGE->requires->js('repository/repository.src.js')->in_head();
}
/**