Bearbeiten der Datei “format.php” vs. functions.php?

Ich möchte das Datumsformat von 5 Minuten bis 5 Minuten formatieren. Ich kann die Datei formatieren.php bearbeiten und die Bearbeitung machen, aber sollte ich? Soll ich stattdessen die Bearbeitung in der Datei functions.php deklarieren?

Aus der Datei format.php:

function human_time_diff( $from, $to = '' ) { if ( empty( $to ) ) { $to = time(); } $diff = (int) abs( $to - $from ); if ( $diff < HOUR_IN_SECONDS ) { $mins = round( $diff / MINUTE_IN_SECONDS ); if ( $mins <= 1 ) $mins = 1; /* translators: Time difference between two dates, in minutes (min=minute). 1: Number of minutes */ $since = sprintf( _n( '%s min', '%s min', $mins ), $mins ); } 

Wie du in der letzten Zeit sehen kannst, kann ich ‘% s min’ in ‘% sm’ ändern, was den Trick macht. Wenn WordPress davon abrät, die Datei format.php zu bearbeiten, wie würde ich diese Änderung in functions.php vornehmen?

Solutions Collecting From Web of "Bearbeiten der Datei “format.php” vs. functions.php?"