Trump isn't president and the ban went into effect before he was. There's no legal extension possible anymore under this specific case.