Site tools.onedev.net is works 😊  on PHP 7.2.34-32+ubuntu18.04.1+deb.sury.org+1