Site tools.onedev.net is works 😊 on PHP 7.2.24-0ubuntu0.18.04.1