[10:29:29] <Nemo_bis>	 Sob, still getting stale pages after edit.
[22:09:22] <Josve05a>	 !merge 223342
[22:13:44] <Krenair>	 Josve05a, ?
[22:13:46] <Krenair>	 "API: Improve list=random" ?
[22:14:06] <Josve05a>	 (sorry, wrong channel. Wanted wm-bot to scream merge)
[22:17:08] <Krenair>	 That's a strange thing to want.
[22:19:05] <Josve05a>	 I am quite stange.{{cn}}
[23:02:21] <adisha>	 Can anyone suggest me where can I find wikimedia extension for mobile frontend
[23:03:07] <adisha>	 Here is the link of all wikimedia extensions (https://www.mediawiki.org/wiki/Special:AllPages/Extension:)
[23:13:00] <Krenair>	 adisha, Extension:MobileFrontend
[23:13:17] <Krenair>	 lots of those are not wikimedia-deployed or wikimedia-developed extensions
[23:13:33] <adisha>	 thanks krenair