[11:30:16] hi [11:31:36] i'm using https://github.com/greenhatmonkey/Fail2Log and i am concerned about its use of $username in `error_log ( "Failed:$ip $time $username\n", 3, $wgFail2LogFile );` [11:32:19] Does mediawiki sanitize $username this early in the auth process? [14:59:50] I did an update to the Fail2Log extension. https://github.com/greenhatmonkey/Fail2Log/pull/1 [15:00:20] Not sure if greenhatmonkey is still around - there is not activity for many years in their repo. [15:01:28] Anyway, I changed it to use MW built-in GetIP(), and added some sanitazion and log file error handling as well as allowing UTC or local time logging.7 [17:13:13] Forza: I would probably start with a commit that is just extracting and removing that tar.gz... and then a commit ontop (can still be the same PR) making your changes [17:13:26] https://www.mediawiki.org/wiki/Extension:Fail2Log is kinda depressing too [17:16:04] yea i suppose i could have done that. but i am not sure upstream is active any more. was thinking to fork and propose a new maintainer after some time [17:19:06] Reedy: is there some protocol or etiquette for this? [21:32:30] There's no one right answer... Ping the maintainer, give them some time etc [21:52:08] Hello, I am trying to setup Extension:FeaturedFeeds on my wiki. I have read the documentation but do not understand what I need to put in the setup pages like MediaWiki:Ffeed-*-page. Is it possible to give the extension a list of pages to pull from and allow it to randomly select a page per day? [23:30:17] Guest70: hi [23:30:23] Guest70: that seems specific to that extension [23:30:33] Guest70: where are you taking these instructions from?