Is it daylight saving time
in Africa/Lagos?

Based on the timezone.