[00:35:18] <InsertMode>	 Hey y'all. I'm trying to work on a MediaWiki extension and my editor is giving me lots of errors, presumably because it's inside the extensions directory and doesn't know of the dependencies available to it. I'm using NeoVim and intelliphense. Does anybody have any tips?
[16:32:53] <A_smart_kitten>	 q: would a page having been deleted be the only possible reason for a row with its `page_id` no longer appearing in MediaWiki's `page` table?
[16:33:17] <A_smart_kitten>	 (or e.g. is there another reason that a page might have its row removed from the `page` table?)
[16:34:10] <A_smart_kitten>	 (asking in the context of https://phabricator.wikimedia.org/T413016#11703227 for the curious)
[19:29:52] <mmyronov>	 Hello everyone! A long time ago before I made my current Wikipedia account (mmyronov) I edited the "I'm Only Sleeping" page on Wikipedia, fixing a bad link to another article. Please, I ask for a developer to transfer this contribution (https://en.wikipedia.org/wiki/Special:Contributions/151.237.140.213, the only one for my IP) to my account. I
[19:29:52] <mmyronov>	 don't really know if I'm even in the right place to contact someone, as I've never used IRC before. Have a nice day.
[19:29:53] <mmyronov>	 P.S. I'm just very proud of my first Wikipedia edit. No biggie if denied.