Thread:Extension talk:CirrusSearch/wgCirrusSearchServers with or without port?

$wgCirrusSearchServers = array( '333.333.333.333:9200' );

or

$wgCirrusSearchServers = array( '333.333.333.333' );

?