src contains the file JsonSerializable.php

Add the missing file JsonSerializable.php to the src folder.