I'm having a problem with the time() function - Brazil has an unique way to define DST starting/ending dates: there's no fixed date, every year it's decided for different dates. However php doesn't seem to realize date and is currently displaying dates as not DST while It's already DST here. (other softwares such as MySQL display dates properly)
Does anyone know where PHP reads the DST information on Ubuntu 8.04.1 so I can try to fix it (and no, forcefully setting the timezone to another one that matches the current DST is not a acceptable solution, as that will change the time for dates outside DST as well.)
Should I submit this as a bug report?
