PHP Code:
removetiledefs;
addtiledef tileset.png,,;
Will work fine offline.
On a side note, I wish people would stop saving things as GIFs and then using gif2mng to convert them to PNG. Just save them as an 8-bit PNG in the first place z.z
EDIT: Also, for tilesets, can't you use up to 32-bit online?