wordpress plugin: get internetexplorer