some extras for php