[update 1.3] #13125

13125
-----

Issue 3922: Add ClassHierarchy Checks
Issue 3920: String has extension for *graphics
Issue 3896: 1.3 core has wrong theme enabled
Issue 3769: Printing an object depends on #isKindOf:


--
Marcus Denker  -- http://www.marcusdenker.de
INRIA Lille -- Nord Europe. Team RMoD.