[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 4be2b5: Declare DesignerHistory properties explicitly in history.ts

[Maurício Meneghini Fauth]

Branch: refs/heads/master
Home: https://github.com/phpmyadmin/phpmyadmin
Commit: 4be2b55708a5751536e82a8a15fe1157528af6b8
https://github.com/phpmyadmin/phpmyadmin/commit/4be2b55708a5751536e82a8a15fe1157528af6b8
Author: Maurício Meneghini Fauth <mauricio at 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 at fauth.dev>