Home ForexFTSE FTSE 100 ends higher, boosted by big miners