fix Issue 12567 - Modules can't be marked as deprecated