HBT correlators - current formalism vs. Wigner function formulation