$wgLinterCategories