Replace double space with single space

Came across this Code Sniffing a MediaWiki extension. Though I might as well fix it.