disable omni for php (too slow!)