cambio de extension php por html