try again to avoid duplicate php fact declaration