Board Thread:Support Requests - Getting Technical/@comment-2226235-20140926004346/@comment-452-20140926142800

If the script was hosted that that wiki, it would be theoretically possible to disable it for a certain user, but since you said he uses different IPs, then that makes it impossible to target him.

Even if you had a way to disable just that script, using a script to disable everyone's personal script is likely against the customisation policy.

edit: If his only target is files, then you should contact Staff, explain the problem, and ask that Anon edits to the File namespace be disabled.