v4.2.2 -> v4.2.3 in config.php

Just forgot to edit the version in config.php when the binary was updated.
Plus a couple of empty lines changed, which you can discard if you prefer.