Provide the source file name to the JS in readthedocs theme
Provide the source file name to the JS in readthedocs theme

readthedocs.org needs the file name in order to identify the correct source
file to link to the same file in other versions of the same documentation or
to the source on GitHub.

Related rtfd/readthedocs.org#1480

jamesbeebop/mkdocs,d0ugal/mkdocs,kubikusrubikus/mkdocs,mkdocs/mkdocs,d0ugal/mkdocs,mkdocs/mkdocs,mkdocs/mkdocs,waylan/mkdocs,jimporter/mkdocs,dmehra/mkdocs,pjbull/mkdocs,jamesbeebop/mkdocs,williamjmorenor/mkdocs,peter1000/mkdocs,pjbull/mkdocs,dmehra/mkdocs,kubikusrubikus/mkdocs,justinkinney/mkdocs,lukfor/mkdocs,williamjmorenor/mkdocs,williamjmorenor/mkdocs,d0ugal/mkdocs,vi4m/mkdocs,justinkinney/mkdocs,justinkinney/mkdocs,lukfor/mkdocs,peter1000/mkdocs,pjbull/mkdocs,jimporter/mkdocs,vi4m/mkdocs,peter1000/mkdocs,lukfor/mkdocs,kubikusrubikus/mkdocs,dmehra/mkdocs,vi4m/mkdocs,jimporter/mkdocs,jamesbeebop/mkdocs,waylan/mkdocs,waylan/mkdocs