Rename fileElem to urlContainer and fileRegexp to urlRegexp
authorAntonio Ospite <ospite@studenti.unina.it>
Thu, 8 Dec 2011 18:57:38 +0000 (19:57 +0100)
committerAntonio Ospite <ospite@studenti.unina.it>
Thu, 8 Dec 2011 18:57:38 +0000 (19:57 +0100)
commit2638b96a6a4a02f75f1569fd52e4a18465a82ebd
tree58fe240a1d539afcc6530b7efde1c2a43dffb1f7
parentd0aadfa63348eab5239adb51f6db2c988980363a
Rename fileElem to urlContainer and fileRegexp to urlRegexp

We are dealing with URL in general, not necessarily with static files on
the server.
direct_download_links.user.js