re #428: Use local WIRIS server.

Don't get anything from wiris.com/wiris.net.

This is horrible. We need to destroy this PHP completely as soon as possible.
This is just a first step.