re #428: Remove reams of useless WIRIS plugin code.

Almost all of the plugin is already superseded by Rian's
rewrite using the CKEditor widget API.

Also fixed PHP configuration swizzling.