 Yannick Warnier
|
d1b37f34fe
Minor - Add license refs + change dirname(__FILE__) to __DIR__ (about 4 times faster). See http://stackoverflow.com/questions/2749416/is-there-any-difference-between-dir-and-dirname-file-in-php
|
7 ani în urmă |
 aragonc
|
4116a6b100
merge
|
10 ani în urmă |
 Julio Montoya
|
3414a8aa8b
Now we can add boolean (yes, no) options in a plugin settings, all BBB settings are now moved to the plugin see BT#3123
|
12 ani în urmă |
 Laurent Opprecht
|
061d27b8c4
plugin search course: #4597
|
12 ani în urmă |
