Issue #19: Remove PHP Filter module.