Branch: refs/heads/master Home: https://github.com/phpmyadmin/phpmyadmin Commit: 4be2b55708a5751536e82a8a15fe1157528af6b8 https://github.com/phpmyadmin/phpmyadmin/commit/4be2b55708a5751536e82a8a15f… Author: Maurício Meneghini Fauth <mauricio(a)fauth.dev> Date: 2023-04-17 (Mon, 04 April 2023) -03:00 Changed paths: M js/src/designer/history.ts M js/src/designer/init.ts Log Message: ----------- Declare DesignerHistory properties explicitly in history.ts Signed-off-by: Maurício Meneghini Fauth <mauricio(a)fauth.dev>