Se incluye el manual de PHP que estoy haciendo