Thread:Extension talk:Push/Broadening File Support

Hello, I've set up the Push extension with multiple wikis and I've been using it to update content from our master wiki. I notice in the javascript that the push function iterates over all the images included on the source page. Is there support for files other than images or is there a place in the extension to add more file extensions? I have .swf flash files embedded on the source page that do not get pushed to the target. Is there a way to push this file type? Thanks in advance!