// Custom priorities
if ( $wgSitemapNamespacesPriorities !== false ) {
/**
- * @var $wgSitemapNamespacesPriorities array
+ * @var array $wgSitemapNamespacesPriorities
*/
foreach ( $wgSitemapNamespacesPriorities as $namespace => $priority ) {
$float = floatval( $priority );