Petr Škoda a9cda870ba MDL-38109 use always get_plugin_list() to get list of plugins ...

get_list_of_plugins() is NOT intended for real plugins, only plugin like directories.

2013-06-11 10:22:45 +02:00

..

backup

…

db

…

lang/en

…

pix

…

tests

…

type

…

assignment.js

…

delete.php

…

grade.php

…

index.php

…

lib.php

MDL-38109 use always get_plugin_list() to get list of plugins

2013-06-11 10:22:45 +02:00

locallib.php

…

mod_form.php

…

renderer.php

…

settings.php

…

styles.css

…

submissions.php

…

upload.php

…

version.php

…

view.php

…