Set version number in php files