tree 9bbbe7699af5f3cdedbbb091b0ef7dfa418a477c
parent fddec1a8fc2e32052710cc3d68c2f8a3783e83e7
author Zesstra <zesstra@zesstra.de> 1583434728 +0100
committer MG Mud User <mud@mg.mud.de> 1583434728 +0100

Viele unwirksame Casts entfernt.

Und wegen strict_types zu deklarativen Casts gemacht.

Change-Id: I43c1cb86b4d4ea4c6e09182bb7aaef58120e8239