[00:34:13] for guided tour extension https://www.mediawiki.org/wiki/Extension:GuidedTour there is 'overlay: true' but is there a behaviour where it dims all of the page /except/ the element it's attached to? [01:49:43] Reedy: in this case, I think it was failing because it needed some script to execute [10:37:54] can i get rss feed link for echo notifications [18:12:43] Hey, I am currently trying to add a feature to an extension. However, I can't get autocompletion for MediaWiki classes to work. I have tried both VSCode and PHPStorm, but the classes and imports are marked as unresolved in both programs. [18:13:32] I'm not an expert in PHP but when checking the mediawiki folder in the vendor directory, it seems that the classes for the MediaWiki core are not present there. [18:14:26] The extension is running fine when testing it but it would be nice to get autocompletion working since it is hard to find methods with barely any knowledge of the codebase. Does anyone have a solution for this? [18:15:36] you wouldn't check out mediawiki core into vendor [18:15:42] you'd have it adjacent in the project [18:16:17] How exactly would I do that? Right now I have the core in the same folder as the extension folder. [18:16:38] If you've got a copy of mediawiki core there... [18:17:29] In phpstorm I have a "project" called "medawiki", under that, a folder called core, and similar for skins and extensions [18:21:49] Opening the parent folder fixed it, thank you! [21:35:45] Hello. I want to propose a change to a Wikimedia project (what would be called in GitHub terms a PR), but I was not able to find any basic guide for external contributors. In particular I'm confused about the relationship between GitLab and Gerrit and which one I should be attempting to submit to. [21:37:07] Depends what the project is [21:37:27] They all have a canonical home (usually gerrit or gitlab, some are github) [21:41:25] It's this one: https://github.com/wikimedia/mediawiki-services-mobileapps [21:41:39] Okay, that's apparently a mirror of a Gerrit repo, so I guess that answers my question [21:41:40] >Mirror of https://gerrit.wikimedia.org/g/mediawiki/services/mobileapps See https://www.mediawiki.org/wiki/Developer_access for contributing [21:41:51] https://github.com/wikimedia/mediawiki-services-mobileapps?tab=readme-ov-file#getting-started [21:41:56] cool, thanks [21:42:01] Not sure why I failed to find that [21:42:11] :)