Copied from wp.old/wordpress_5.2/wp-admin/ms-themes.php to wp.old/wordpress_5.2/wp-admin/maint/ms-themes.php

 Name Size Modified Perms Owner Actions
..
ms-themes.php
232 B 13.05.19 12:43 0644 einst:users
repair.php
7.05 KB 13.05.19 12:48 0604 einst:users
Full Size: 7.28 KB File: 2 Folder: 0 Memory used: 256 KB Partition size: 0 B free of 0 B
Tiny File Manager 2.4.3