Yes, it sounds like a script you're using is implementing its own timestamp display and isn't using $timestampfmt to tie in with mIRC's internal settings.
The script may have its own timestamp settings somewhere or it may have the timestamp format you're seeing hardcoded, in which case you would either have to edit the script or contact the script author and ask him to update it.
