tell Claroline there is no migration for this plugin