A Garda informer can use sensitive material obtained in proceedings pending before the High Court in his legal battle to prevent his extradition from the UK to France.