--- a/wp/wp-admin/options-general.php	Tue Dec 15 15:52:01 2020 +0100
+++ b/wp/wp-admin/options-general.php	Wed Sep 21 18:19:35 2022 +0200
@@ -18,7 +18,7 @@
 
 $title       = __( 'General Settings' );
 $parent_file = 'options-general.php';
-/* translators: Date and time format for exact current time, mainly about timezones, see https://www.php.net/date */
+/* translators: Date and time format for exact current time, mainly about timezones, see https://www.php.net/manual/datetime.format.php */
 $timezone_format = _x( 'Y-m-d H:i:s', 'timezone date format' );
 
 add_action( 'admin_head', 'options_general_add_js' );