Remove patch.js from its own "files" block.

Sounds logical, right? Well, due to PHP's design, this took quite a while to actually work correctly.