Update ISingleton.php~