Moore's script makes it pretty clear Batman isn't choking the Joker, but Brian Bolland has hinted that he did. It doesn't matter anyway, the ending means whatever the fuck you want it to mean.