Adds a js file.

Our version has this JS file.
I did not investigated whether this is necessary or not.
We need to get rid of this anyways...