European stocks scale all-time highs with miners in the lead | Sharefundss