England 'powered by pickle juice' - but what does it do?

Kieran Trippier drank pickle juice to recover from cramp during England's game with Serbia - but how does it work?