It was neither one nor the other. It accelerated the 15 second file and played it several times within a shorter time to get the 15 seconds full.
The original ringtone isn't 15 seconds, it's less and is played several times to fill up the 15 seconds.