Strength of $\sf ZF$+The weak topology on every Banach space is Hausdorff

Well, you just get the Hahn–Banach theorem.

Luxemburg, W. A. J. and Väth, M. The existence of non-trivial bounded functionals implies the Hahn-Banach extension theorem. Z. Anal. Anwendungen 20 (2001), no. 2, 267–279. MR1846601

In the above paper the authors show that the Hahn–Banach theorem is equivalent to the statement "Every Banach space has a nontrivial continuous functional". This means that if the Hahn–Banach theorem fails, there is a Banach space $X$ with a trivial [continuous] dual, and therefore the weak topology on $X$ is the indiscrete one.

So actually what we get is that just "The weak topology on a nontrivial Banach space is not indiscrete" is itself enough to prove the Hahn–Banach theorem, let alone requiring it is Hausdorff.