re-activate devel_themer with proper simplehtmldom version