claroline/Claroline — pull request #6 by ngodfraind (2013-06-07 12:36:57+00:00)
Title: Plugin tool options

Tools can declare a configuration page.