Summary:Support/The comma between Jumptonavigation and Jumptosearch

https://gerrit.wikimedia.org/r/#/c/16905/