version.php - www.eclipse.org/jgit - Git at Google

 <?php
 	$version = "5.0.3.201809091024-r";
 	$api_version="5.0.3.201809091024-r"; // For API docs and CLIRR reports
 ?>
	<?php
	$version = "5.0.3.201809091024-r";
	$api_version="5.0.3.201809091024-r"; // For API docs and CLIRR reports
	?>