[00:43:13] hi people [00:43:36] is there a way to create static HTML site dump from a mediawiki instance? [07:12:17] might be a direct and more efficient way, but I simply use wget. https://rpa.st/JOXYA [07:44:10] okay thx for the ping up kjetilho [17:48:00] hello people [17:48:26] my mediawiki instance refuses to accept uploading pdf files [17:48:47] is there a way to fix that? [18:53:40] Hi, I am a total beginner with MediaWiki. What are the key ressources to get started? My project is to adapt MediaWiki for educational content, including source code of pedagogical animations in Manim, as well as already rendered videos. [20:44:30] Is anyone online? [20:44:34] I think I found a bug. [20:45:27] Twineee: hi, what is your bug [20:45:45] Twineee: If you want to directly report it, you can do so at https://phabricator.wikimedia.org [20:46:14] If someone gives someone temporary bureaucrat, then the receiver can then extend it themselves to last indefinitely. [20:46:33] Phabicator is unaccessible to me and I'm not completely sure if this bug is reproducible. [20:46:41] I can't test it. [20:46:48] I think that's expected if the user has 'userrights' right [20:46:55] But, I have an example here: [20:46:56] https://sneaky-sasquatch.fandom.com/wiki/Special:UserRights/Twineee [20:47:06] Look at the last two entries [20:47:22] It just seems like something that shouldn't be possible