John Godley on "[Plugin: Redirection] Cannot redirect filenames"

There is nothing special in the plugin involved with redirecting filenames - they are all URLs. However, your server may have some additional rules setup to handle .php URLs differently. You would need to check with your server for this as it happens before Redirection can do anything.