User class is not any more on Wikimedia Doc: the legacy URL returns 404 Not Found.
See June 2023 archive.
I don’t know if other pages are missing.
User class is not any more on Wikimedia Doc: the legacy URL returns 404 Not Found.
See June 2023 archive.
I don’t know if other pages are missing.
Thank you for providing the proper link.
Namespaced classes are not linked properly in the doc (e.g. IContextSource::getUser()) making them hardly reachable. Or do I miss something again?
https://doc.wikimedia.org/mediawiki-core/REL1_40/php/interfaceIContextSource.html#abb34a4e515bd16d9b32ad12bd893a073 works (before namespacing)
https://doc.wikimedia.org/mediawiki-core/REL1_41/php/interfaceIContextSource.html#abb34a4e515bd16d9b32ad12bd893a073 doesn't (after namespacing)
That indeed looks like a bug, but it's a different one to the originally reported. I'll file one for it...