Adds the selection bar extension on Windows and Linux.

This is a fix for #9203.
This indentation is correct. Otherwise, you get a JSLint error.