[10:24:16] Happy new year :) [10:25:10] I was mostly offline for a few weeks... What's up with that discussion about splitting the Hackathon group and a general MediaWiki discussions group? Was anything done about it? [11:07:22] On another topic: My global user JS on meta doesn't seem to work. [11:07:24] https://meta.wikimedia.org/wiki/User:Amire80/global.js [11:07:49] I've tried silly mw.log tricks, and it just doesn't seem to load. [11:16:17] Does the same code run from browser console? [11:23:41] what are you expecting mw.log to do? (re @amire80: I've tried silly mw.log tricks, and it just doesn't seem to load.) [11:25:11] (I've never understood what mw.log should be used for myself. I only know it does not output stuff to the console like console.log does) [11:29:07] From https://doc.wikimedia.org/mediawiki-core/REL1_29/js/#!/api/mw.log it looks like it should be mw.log.warn() etc [11:30:08] hmm, why is that different from https://doc.wikimedia.org/mediawiki-core/master/js/#!/api/mw.log ? assuming that's the current version, it seems like only .warn() remains [11:30:39] Interesting. 1.29 was just what popped up in Google results [11:31:14] https://www.mediawiki.org/wiki/ResourceLoader/Core_modules documents mw.log.error, so if it is gone now then that documentation is outdated [11:35:38] @amire80 including your global.js in my global.js (https://meta.wikimedia.org/w/index.php?title=User%3AJon_Harald_S%C3%B8by%2Fglobal.js&diff=24313084&oldid=22415267) works like it should, so there's nothing wrong with your scripts at least [11:49:38] mw.log( 'hallo' ) should work in debug=true, last time Inches, but I might be wrong [11:50:20] ah, yeah, that works [13:13:56] Hello Everyone! A happy new year to you and yours. [13:13:57] [13:13:58] We recently noticed that there are a lot of tools and request for the development, support and maintenance of tools in the movement. With the growing community of developers especially in the African community, we would like to improve collaboration between commuities and developers in the movement by building a collaboration platform (Wikimedia community tool space) to help coom [13:14:00] munity members find and collaborate with tool developers. [13:14:01] [13:14:03] Please kindly tell us what you think about this idea and share with us some desired features you think could be included in the tool. [13:14:04] https://docs.google.com/forms/d/e/1FAIpQLSccIoKAAr3pCrF5Y7mRKna3uf30Eo7F-GEI_23oDISJiLI-2g/viewform?usp=sf_link [13:14:06] [13:14:07] Thanks very much! [21:55:16] It's not the same but related: I reached out to @gtisza to test bridging the mediawiki IRC channel to a separate Telegram group, but we haven't yet had the chance to set that up. (re @amire80: I was mostly offline for a few weeks... What's up with that discussion about splitting the Hackathon group and a general MediaW...) [21:59:43] Un or badly documented features, how cute ☺️ (re @amire80: mw.log( 'hallo' ) should work in debug=true, last time Inches, but I might be wrong) [22:02:26] yeah, https://www.mediawiki.org/wiki/ResourceLoader/Core_modules#mw.log ain't very helpful