Muchas gracias !!
esta solucion es mucho mejor que la que se me ocurrio a mi ayer xD
mira yo hice esto:
Código PHP:
archivo = "archivo.data"
extension = archivo[-4:-1] + archivo[-1]
if extension == "data" or extension == "datb":
nlet= len(archivo)
carac = nlet-4
archivop1 = archivo[0:carac] + "dat"
archivo = archivop1
mucho mas corto e inteligente tu solucion xD
Un saludo