What is version.php for?

I realized that the version number is given by version.php and by config.php.

Does anybody know if we need both definitions? (I suppose we don't)

Tim