Notify user in OS from PHP