As written, the old order banned travel into the United States by citizens of seven majority-Muslim countries, even if they had green cards. The administration backed down from that quickly, but didn’t change the text of the order.