| commit | 3882c2d429484e41d336eb60fe315f000928d62f | [log] [tgz] |
|---|---|---|
| author | Zesstra <zesstra@zesstra.de> | Mon Jul 27 22:37:17 2020 +0200 |
| committer | MG Mud User <mud@mg.mud.de> | Mon Jul 27 22:37:17 2020 +0200 |
| tree | ef9ac5d4a2ed88fa1a11d2e1557376d894fa067f | |
| parent | 110e8a1396831002215543944566d5fac24b3263 [diff] |
strict_types zu strong_types geaendert, Casts entfernt Casts nach mixed entfernt. Einige deklarative Casts ergaenzt. Change-Id: I56955dfa1bcddc2c99a3f7d2ebffba5d7c36487b