These files are taken from a custom branch of selenium that is available here, with modifications to work with Firefox's Social API:

https://github.com/mixedpuppy/selenium

See the COPYING file for license information.