The original function paddedPrint() is almost certainly taking (some form of) a byte, representing, in your case, a pair of digits from a time/date stamp and printing these with, if required, a leading zero.
You can do it yourself:
void myPaddedPrint(byte n) {
Serial.print(n/10); // first digit (can be zero)
Serial.print(n%10); // second digit
}