[09:29:41] I will let you know when I see itsmoon and I will deliver that message to them [09:29:41] @notify itsmoon adding to what moonmoon wrote, there *can* be pages in the File: namespace with / in the title, but they can’t be files (examples via intitle:/\// search: https://commons.wikimedia.org/wiki/File:Schmettau_Plan_de_la_ville_de_Berlin_(georeferenced).jpg/overlay.kml, [09:29:42] https://commons.wikimedia.org/w/index.php?title=File:Circle_sign_60/89.svg&redirect=no) [09:29:49] (I rely on that in the ACDC gadget, https://github.com/lucaswerkmeister/ACDC/blob/e3f3a45504/acdc.js#L343-L350) [15:18:13] hi, how do i enable browser norifucations from echo extension [15:22:14] I don’t think that feature exists yet (https://phabricator.wikimedia.org/T113125 seems to be the relevant task) [15:29:30] Lucas_WMDE: hi, thanks. i am surprised it "lowest". how do i jncrease priority? and may i chip in to get it done sooner? [15:29:36] increase* [15:55:11] Gry: By providing a patch, basically. See also https://www.mediawiki.org/wiki/Bug_management/Development_prioritization [16:31:57] andre: someone already wrote a patch. I tried to understand how that thing works and was told a background process needs to run on server. it was all quite confusing. [16:32:58] andre: maybe, first i install a wiki and then get back to you ... or to who? about next required steps. it would be nice if someone told step by step what to do [17:25:23] Gry: If someone said somewhere that a background process is needed, that quote is probably something to bring up in the ticket and ask specific questions in there. I don't have any specific knowledge about this area