[00:00:14] right now the wiki shows just a blank page. [00:01:28] try to fix paths in LocalSettings.php [00:02:19] How about commenting all extensions? [00:03:52] or removing LocalSettings.php [00:04:12] hmm, update.php needs database data. [00:04:21] I guess. [00:05:54] ok, with commented extensions it's doing something, despite some errors. [00:07:56] ok, update.php completed and without the extensions I have a very basic start page. [00:16:41] do you have something in your skins folder? [00:16:47] skins are now shipped separately [00:16:55] the very basic is the one without any skin [00:17:34] see skin registration at https://www.mediawiki.org/wiki/Manual:Upgrading#Adapt_your_LocalSettings.php [01:13:44] yay, wiki is up again. [01:13:58] hmm, still need questycaptcha ... [01:24:31] questycaptcha working. omg, spam was instantly coming in. [01:51:06] ohh no, it's broken again: [d5bf96cb1c376c1615644172] 2016-10-21 01:49:48: Fatal exception of type MWException [01:51:36] right after I deleted pages with deleteBatch.php [02:30:30] @@@@ J@IN #wikimedia-ayuda @@@@ [05:39:12] !admin @@@@ J@IN #wikimedia-ayuda @@@@ [05:39:13] To recreate the admin user, run "php maintenance/createAndPromote.php" on the command line. [05:39:19] !ops [08:41:07] Hello and good Morning [08:41:35] hi [08:41:35] How can mediawiki made smartphone and PC compartible ? [08:41:53] when it comes to rendering: by installing the MobileFrontend extension. [08:43:18] where is that ? [09:58:49] (https://www.mediawiki.org/wiki/Manual:Extensions ) [15:52:13] There is no way to make one page private, and only accessible by specific users, correct [15:52:13] ? [15:52:23] at least, not with the default behavior? [15:52:28] correct [15:54:19] So, I need such functionality for two users for a temporary project (maybe a few weeks to a month or two). I'm wondering if it wouldn't just be easier to create a whole new wiki for them. [15:55:28] or use email :) [15:55:50] ha, that was discussed already :) [16:29:58] [offtopic] is it just me or is twitter dead? [16:31:01] Vulpix, http://www.downforeveryoneorjustme.com/twitter.com [16:31:18] (same issues for Github from here) [16:33:41] hmmm [16:35:08] http://thehackernews.com/2016/10/dyn-dns-ddos.html [16:35:44] Yes per ^^ [16:35:50] twitter and github are now [16:35:52] down [16:36:19] thanks [16:40:12] That explains why I cannot push to Github... Thanks! [16:40:44] (so at least my provider didn't screw up their DNS stuff yet another time) [16:40:49] Yep, it might be affecting microsoft too [16:40:50] [16:41:05] /etc/hosts ftw [16:41:21] andre__ Vulpix http://uk.businessinsider.com/amazon-spotify-twitter-github-and-etsy-down-in-apparent-dns-attack-2016-10?r=US&IR=T [16:41:28] spotify is down lol [16:41:40] I am listening to it right now but it is cached :) [16:41:41] * marktraceur believes andre__ said [16:41:42] offtopic ^^ [16:42:04] Please take the discussion somewhere where it is wanted [20:12:05] Hello [20:12:14] I just updated mediawiki to latest stable version [20:12:53] everything seems to work fine but I get an exception from loader.php: ResourceLoaderModule.php: getDefinitionSummary must call parent method [20:14:39] \/\/ JOIN #wikimedia-ayuda \/\/ -- patrocined by jem [20:17:19] ePirat: it sounds like the extension version you got is not compatible with your mediawiki version [20:17:39] how do I figure out which one? [20:17:55] make sure you update your extensions as well, and pay attention to which version of the extensions you grab (the latest version may only be compatible with MediaWiki 1.28 or later, so you may have to explicitly get the 1.27 version of it) [20:18:17] if you didn't update your extensions, then update all of tem [20:18:19] *them [20:18:30] /o\ [20:18:41] ok… [20:19:25] updating mediawiki is always so painful…