jquery/jquery-ui — pull request #1045 by siebrand (2013-08-02 11:17:51+00:00)
Title: Replace double space with single space

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