Change file extension of uploaded PHP files as a simple way to avoid execution (as an alternative to server configuration)