Ein lokaler Patch eines Plugins, der beim Update verloren geht, ist eigentlich großer Mist.
Deswegen löst man sowas auch auf die dafür vorgesehene Weise, wenn der Pluginautor es nicht selbst noch besser macht.
Für TinyMCE Einstellungen gibt es einen Filter, den man dafür benutzen kann. Folgender Code macht das, was dein Patch auch macht. Man kann das entweder in die functions.php deines Theme hinzufügen (dann ist es vom aktuellen Theme abhängig oder packt die paar Zeilen in ein Miniplugin und aktiviert das.
function change_tinymce_date_button_formats($params) {
if (isset($params['plugin_insertdate_dateFormat']))
$params['plugin_insertdate_dateFormat'] = '%d. %B %Y';
if (isset($params['plugin_insertdate_timeFormat']))
$params['plugin_insertdate_timeFormat'] = '%H:%M Uhr';
return $params;
}
add_filter('tiny_mce_before_init', 'change_tinymce_date_button_formats', 20);
Normalerweise hat das der Pluginauthor aber zu handhaben und per Sprachdatei anpassbar zu gestalten. Das würde dann im Plugincode so aussehen müssen:
$initArray['plugin_insertdate_dateFormat'] = [B][COLOR=#ff0000]_x('%B %d, %Y', 'Ultra TinyMCE - Date Format', 'jwl-ultimate-tinymce')[/COLOR][/B]; // added for inserttimedate proper format
$initArray['plugin_insertdate_timeFormat'] = [COLOR=#ff0000][B]_x('%I:%M:%S %p', 'Ultra TinyMCE - Time Format', 'jwl-ultimate-tinymce')[/B][/COLOR]; // added for inserttimedate proper format
Hätte der Autor das so eingebaut, dann könnte man den Formatter leicht per Sprachdatei ändern und hätte je nach Backendsprache immer die richtige Ausgabe.