Significance: patch
Type: Fix

Hide the extensions header when no available plugins in the category. #8089