Fixes to docs and code style for migrate/src/*.php files