- Mark as New
- Bookmark
- Subscribe
- Mute
- Subscribe to RSS Feed
- Permalink
- Report Inappropriate Content
They will probably not be migrated, which is just as well, and the migrator may even warn you about those extensions. Probably best to go ahead and manually unregister them before the upgrade.