These are the 3 lines:

          $wgRCFeeds['euerkrebsco'] = array(
              'formatter' => 'JSONRCFeedFormatter',
              'uri' => 'udp://euer.krebsco.de:5005',
              'add_interwiki_prefix' => false,
              'omit_bots' => true,
          );