[17:07:17] ori: I will look into history to see how long that setting was like that. I do not have a perfect logging system so I can't trace everything to the source of info that caused me to put something [21:56:37] hello [22:03:25] When I go to: https://mywiki.com/index.php?title=Special:Version I don't see any extensions installed how do I see what extensions I have installed? [22:09:43] Maybe you don't have any extensions installed [22:10:04] Vulpix, by default aren't there extensions installed? [22:10:26] I'm trying to install one and checking that it is in fact installed [22:10:33] No, there's no extension installed by default [22:10:44] hmmm [22:10:50] Maybe a default skin is installed, but I'm not sure [22:11:14] wouldn't it at least show: "Installed extensions" and leave it blank under it? [22:11:20] if there were none? [22:13:35] Maybe it's a visualization enhancement. Why don't you check your LocalSettings.php to see if there's actually any extension installed? That should clear your doubts [22:14:08] how do I check LocalSettings.php? I've edited it and added the line? [22:15:14] If there's no wfLoadExtension nor require_once, that means there's no installed extension [22:16:10] Vulpix, hmm I'm looking and my edit is no longer there... [22:16:13] hmmm [22:18:40] I wonder what deleted the last line [22:19:10] Vulpix, I'm working on this: https://www.mediawiki.org/wiki/Extension:ConfirmAccount#Configuration [22:19:31] I added: wfLoadExtension( 'ConfirmAccount' ); and then ran the update script... [22:20:19] could the update script have deleted the last line in LocalSettings.php [22:21:35] No. MediaWiki doesn't edit nor create php files. The installer doesn't even create the LocalSettings.php file. It downloads it for you to copy it in the final location [22:22:15] hmmm weird [22:22:20] ok I'll try editing it again [22:25:03] once I've added the line how do I get mediwiki to run localsettings.php again? [22:27:46] ok that did it [22:27:53] weird I was just I added it before [22:27:56] I see it now [22:28:00] thanks Vulpix [22:28:20] yw :) [22:30:57] is there a good resource for setting up the media wiki? Things like the logo on the web browser tab and even the name on the tab, things like that?