Simple PHP utilities to include