Revert "Change of line 38 in Version.php"

This reverts commit dd5988d2face454f8dda146dcb88aab14aa18df4.