Within the default wordpress rss feed the aspect <pubDate> is
<pubDate><?php echo mysql2date( 'D, d M Y H:i:s +0000', get_post_time( 'Y-m-d H:i:s', true ), false ); ?></pubDate>
and provides a results of <pubDate>Tue, 12 Might 2020 12:39:03 +0000</pubDate>
how can i alter this line to offer a results of <pubDate>12/05/2020 12:39:03 +0000</pubDate> (d/m/Y) or <pubDate>12-05-2020 12:39:03 +0000</pubDate> (d-m-Y) however to be legitimate with RFC-822 ?
I attempted many variations <pubDate><?php echo mysql2date('r', get_the_time('Y-m-d H:i:s')); ?></pubDate> or <pubDate><?php echo get_post_time( 'd/m/Y H:i:s O', true ); ?></pubDate> however they dont validate.
Any concepts could be appreciated.