[00:52:51] Hey folks, I got a MathML question [00:53:21] I want to be able to represent crazy numbers. Nonsensical series of math symbols. [00:54:00] For instance, at the moment I am writing an article on "Infinity minus one" for Illogicopedia: the semi-organized nonsense wiki! http://en.illogicopedia.org/wiki/Infinity-1 [00:54:54] but when I try to say

\infty - 1

I get a parser error. Anyone know why that might be happening? [01:05:44] we need to start a secret mailing group to plan Illogicopedia april fools day pranks in advance [06:03:41] Where can I see git GUI of wikimedia? [06:08:18] chihiro__: https://gerrit.wikimedia.org , http://git.wikimedia.org/ , https://phabricator.wikimedia.org/diffusion/ [06:11:11] I am very new to mediawiki. Sorry for asking naive questions. [06:12:16] I have read about mediawiki and wikimedia. But I am still not getting where to use word mediawiki and where to wikimedia? [06:16:05] chihiro__: mediawiki is the name of the wiki software itself and wikimedia is the whole movement around it [06:17:44] chihiro__: you can git clone repositories from gerrit.wikimedia.org , there are many to choose from, mediawiki core, but also one for each extension and for the server configuration and all kinds of things [06:19:24] Thanks a lot mutante. :) [06:44:28] There are two ways to set up your development environment: using a pre-configured virtual machine setup (vagrant), or manual according to https://www.mediawiki.org/wiki/How_to_become_a_MediaWiki_hacker. Which one is more favouable to conditions? [07:29:34] I want to get specific message from client side, with mw.msg(MSGNAME) but MSGNAME may not be loaded yet - is there an API query to get it? [07:30:46] OK found: api.php?action=query&meta=allmessages&refix= [07:30:58] Not set in the resource loader as available to Javascript? [07:31:56] no, it is for client side script not extension [07:32:36] You could use an API request to the relevant MediaWiki namespace page that contains the key. [07:32:38] Example: https://www.mediawiki.org/wiki/MediaWiki:Abusefilter-deleted [07:33:07] Documentation: https://www.mediawiki.org/wiki/Help:System_message [08:27:00] Is there a template/config function to convert a database-stored timestamp to its human-readable version? [08:27:49] wfTimestamp ? [08:28:00] you need this in JavaScript? [08:28:20] saper: Yep. [08:29:16] Thanks! wfTimestamp() looks like what I needed. [08:31:56] but that's PHP [08:32:05] API docs say: In the output, timestamps are always in ISO 8601 format. [08:32:45] Niharika: also you need to know about dbw->timestamp() since wfTimestamp writing to the database breaks my favourite one :) [08:33:09] see https://www.mediawiki.org/wiki/Manual:Timestamp [08:33:16] !timestamp [08:33:23] Heya [08:33:31] short noob question, I just got started with this mediawiki stuff :D [08:33:36] how do I change the left sidebar stuff? :p [08:33:39] like changing the links inside? [08:33:41] saper: Oh. dbw->timestamp() is JS then? [08:33:44] !sidebar [08:33:44] To edit the navigation menu on the left, edit page [[MediaWiki:Sidebar]] on your wiki using its special syntax (see https://www.mediawiki.org/wiki/Manual:Interface/Sidebar for details). If you need more control, you can use the SkinBuildSidebar hook (https://www.mediawiki.org/wiki/Manual:Hooks/SkinBuildSidebar). [08:33:57] Niharika: <3 [08:34:01] ty [08:34:03] (y) [08:34:12] wm-bot: timestamp is MediaWiki's wfTimestamp() function provides a convenient way to convert from timestamps in common formats to the MediaWiki timestamp format https://www.mediawiki.org/wiki/Manual:Timestamp https://www.mediawiki.org/wiki/Manual:WfTimestamp https://www.mediawiki.org/wiki/API:Data_formats#Timestamps [08:34:22] Niharika: PHP [08:34:35] saper: So how do I do this in JS? [08:34:42] !timestamp is MediaWiki's wfTimestamp() function provides a convenient way to convert from timestamps in common formats to the MediaWiki timestamp format https://www.mediawiki.org/wiki/Manual:Timestamp https://www.mediawiki.org/wiki/Manual:WfTimestamp https://www.mediawiki.org/wiki/API:Data_formats#Timestamps [08:34:42] Key was added [08:34:50] Don't say manually. :P [08:35:05] Niharika: where did you get mw timestamps from? [08:35:12] Niharika: in short: you shouldn't [08:35:12] saper: API call. [08:35:20] Niharika: api gives ISO 8601, no? [08:36:07] Niharika: Actually im too dumb to get what is meant with "edit page [[MediaWiki:Sidebar]] on your wiki [08:36:07] sorry :O [08:36:17] saper: I got: 2015-07-07T21:15:05Z which I think I can read-ify a bit. [08:36:47] 08:27 < Niharika> Is there a template/config function to convert a database-stored timestamp to its human-readable version? [08:36:50] 08:27 < Niharika> Is there a template/config function to convert a database-stored timestamp to its human-readable version? [08:36:55] this is not :) [08:36:57] Xatenev: https://localhost:8080/wiki/MediaWiki:Sidebar [08:37:05] aah [08:37:05] got it [08:37:06] ty [08:37:06] :D [08:37:26] saper: Yeah, my bad. I didn't look at what I was getting before posting my question. I assumed I was getting the database thing. [08:37:29] So, thanks! [08:38:22] so you need to use JS Date object and stuff [08:39:10] !timestamp del [08:39:11] Successfully removed timestamp [08:39:55] !timestamp is MediaWiki's PHP wfTimestamp() function provides a convenient way to convert from timestamps in common formats to the MediaWiki timestamp format https://www.mediawiki.org/wiki/Manual:Timestamp For timestamps in the API calls, see https://www.mediawiki.org/wiki/API:Data_formats#Timestamps [08:39:56] Key was added [08:41:38] Niharika: again me :( [08:41:52] Xatenev: Ask away. :) [08:41:57] sec, im googling a bit more first [08:42:06] Good! [08:42:35] Well, actually ive read up on how to create new wiki pages [08:42:49] and it seems to just work over internal links & when i search [08:43:02] how would i create a link in my sidebar which leads straight to create a new page? [08:43:12] like "Create new Page" in the sidebar [08:44:38] Niharika: are you NiharikaKohli1 on Twitter? [08:44:55] Xatenev: Actually, to create a new page, you simply have to navigate to the page title you want to create. [08:45:13] Niharika: yea but a user doesnt want to edit the URL [08:45:16] I guess [08:45:30] random normal users just want a link which says "Create new page" :P [08:45:32] saper: https://twitter.com/niharikakohli29 <-- Me. [08:45:39] Xatenev: ah I know what you mean [08:45:59] Niharika: followed thanks :) [08:46:29] cause right now, its completly user unfriendly :|^^ [08:46:33] saper: Thank you! I am not a big Twitter fan though. [08:46:45] Xatenev: you can use an extension https://www.mediawiki.org/wiki/Extension:InputBox [08:46:50] Niharika: I prefer IRC too :) [08:47:08] Yay. IRC is the best. [08:47:21] saper: <3 [08:47:23] thats gr8 [08:50:08] Xatenev: wikis traditionally avoided the "create new page" because it is important that the new pages are created in context, that the concepts are linked - that's why the preferred way has always been "create a link in the proper context first". Not user-friendly, but that's how wikis became a (moderate) success. [08:51:23] Xatenev: check the first wiki ever to get the feeling: http://c2.com/cgi/wiki?WelcomeVisitors [08:51:35] saper: ^^ [08:51:42] Yea actually that extension is really great+ [08:51:45] gives me all i want and even more :p [08:51:53] got my create new page site now :p [08:52:03] Another happy customer^G [08:52:08] :P:P [08:52:29] saper: actually ive tried out various wikis [08:52:32] Wow that's the first wiki ever? That doesn't even remotely look like our modern wiki. :) [08:52:40] but mediawiki is definetly so much better than everythings else lol [08:53:29] Niharika: but that was the first one - links were made simple out of TwoWords or TwoOrMoreCapitalizedWords [08:53:38] no funny [[ ]] tags [08:53:47] so you could just write as you go [08:53:59] :D Interesting. [08:54:29] "Today I meet NiHarika on the WikimediaIrc channel. We chatted a bit about MediaWikiTimestamp only to find out we really need ApiDataFormat description." [08:54:45] ^^ and I have created 4 links in one sentences. [08:54:50] sentence [08:55:09] which invites people to write about NiHarika, WikimediaIrc and so on... [08:55:20] That's actually neat. Why did they drop that system? [08:55:24] old wiki had also a question mark next to the "red link" [08:55:59] I think mediawiki supported CamelCase links in some early version [08:56:11] Niharika: because as Xatenev said, it was not user friendly :) [08:56:22] you can't have spaces [08:56:52] in some languages (like my native) it also does not work good because we declinate words a lot - so a title and the link text should be different [08:57:09] Hmm. We could have had underscores, but yeah, still doesn't feel user friendly. And then you want links for different namespaces too, I guess. [08:57:10] feel to explore http://c2.com/cgi/wiki?WelcomeVisitors it's still a very good resource for programmers [08:57:17] no namespaces [08:57:25] Ah. [08:57:55] ward cunningham is a genius - he invented all of this :) and RecentChanges too [08:58:08] saper: InputBox is even as standard extension selectable [08:58:11] saper: in the install process [08:58:14] http://c2.com/cgi/wiki?WikiIsNotWikipedia <- are you a WikiPuppy ? :) [08:58:20] Xatenev: yes [08:58:46] http://c2.com/cgi/wiki?WikiPuppy "Sometimes I wonder if I'm a WikiPuppy. I love the wiki, and try not to pee all over it, but I sometimes can't tell if I'm being insightful or annoying." :D :D (This should be my new bio page quote) [09:04:08] There an easy/straightforward way of downloading all the content of a mediawiki site? [09:04:12] ward cunnigham pushed wiki concept further - he introduced Smallest Federated Wiki concept and added a "fork" button - check http://wardcunningham.github.io/ and his videos http://video.fed.wiki.org/view/welcome-visitors [09:04:18] !wardcunningham [09:04:36] !export | Seylerius [09:04:36] Seylerius: To export pages from a wiki, navigate to Special:Export on the wiki, type in the names of the pages to export, and hit "export". See for an example of this form. See also: !import [09:04:47] I'm surprised I haven't heard of him. [09:10:42] Niharika: not everyone is a http://c2.com/cgi/wiki?WikiGnome :) [10:22:31] win 21 [10:22:33] bah [12:39:01] Hello... [12:39:51] I tested one extension but didn't like it (didn't quite do what I expected). Installation of the extension also added some SQL tables... If I deactivate and remove the extension, can I also drop those tables? [12:46:03] danci1973: yes [12:46:17] (but make a backup first :D) [12:54:35] MatmaRex: Thanks... Will do. ;) [13:40:24] hi folks, i have a simple question, how can i make a alphabeticel search index for a page? i would like to use it on a glossary page [14:23:17] is it possible to set the Privacy Policy to an external link rather than an automatic internal link to MediaWiki:Privacy? [14:40:27] I am new to wikimedia. Sorry for asking naive questions. What is puppet and when to use them? Thanks :) [14:54:09] chihiro__: Google it? :) [15:19:33] vandalism in mediawiki.org :( [15:19:43] Unthinkable! [15:19:47] {{sofixit}} [15:21:02] ok, give me teh powers :D [15:21:09] You mean you haven't got them? [15:21:20] someone is dealing with them, though [15:49:07] Whom should I ping if I want to test my prototype gadget in test.wikipedia.org? [15:49:54] Niharika: you can just do that i believe [15:50:03] are you an admin on test? [15:50:27] bawolff: I don't think so. How may I check? [15:51:38] Nope. I can't edit MediaWiki:Gadgets-definition [15:52:06] Whats your username? [15:52:33] NKohli (WMF) [15:54:18] bawolff: Thanks! [15:54:19] Ok, you are an admin now [15:54:25] no problem [15:55:25] btw, you are not at wikicon, right? [15:55:53] Nope. [15:57:11] hello all [15:57:24] is there any Special:Page where I can view which extensions are installed? [15:57:28] Aww. Well have fun with the gadget [15:57:47] jfive: special:version [15:58:17] bawolff: thanks! [20:02:38] I'm having the hardest time ever trying to upgrade my wiki. [20:12:49] I got to my directory where maintenance is but it keeps saying command not found on PuTTY. [20:14:07] what command are you typing? [20:15:00] $ php update.php [20:15:20] with the $? [20:15:42] Yes. [20:15:47] That's the problem [20:15:49] php update.php [20:18:34] "Cannot get command line arguments, register_argc_argv is set to false"... [20:19:08] I think that means your provider provides crap php [20:19:30] Darn. [20:19:55] So is there another way? [20:20:04] Like with FTP. [20:20:14] Not really [20:20:17] You need to run the updater [20:20:19] Well [20:20:23] You can re-run the installer, IIRC [20:20:45] How do I rerun it? [20:21:00] I know how to run the updater though. [20:21:04] visit w/mw-config/ [20:24:47] Ugh why does everything have to go wrong.. it gives me a bunch of errors on it. [20:25:30] If your provider didn't disable random useful stuff [20:27:32] http://pastebin.com/6XGP2SvN [22:12:40] Repton: Did you run "php --version"? [22:13:06] No but I'll try it. [22:13:41] I have version 5.5.26 [22:15:36] That's pretty new. [22:16:17] I know that's why I don't understand why it won't let me upgrade.. [22:16:48] [21:18:33] "Cannot get command line arguments, register_argc_argv is set to false"... [22:16:51] That's a config option [22:17:21] I guess I'm stuck with 1.24.3 then.. [22:17:25] Repton: Right, can you edit php.ini on the server? [22:17:30] To change PHP's configuration variables? [22:17:51] I don't know where to find it but yes I think I can. [22:20:18] That's the spirit. [22:27:42] Do you know where/how I can find it? [22:28:07] What OS? [22:28:22] Windows unfortunately. [22:28:57] reedy@ubuntu64-web-esxi:~$ php -i | grep "Loaded Configuration" [22:28:58] Loaded Configuration File => /etc/php5/cli/php.ini [22:29:03] Should be easy to find it then [22:29:59] So I type that in? [22:30:48] if it's windows, you might not have grep [22:30:51] but php -i [22:30:59] And look for Loaded Configuration File [22:33:30] Ok i got a whole bunch of results but it's a pretty long list to search.:-) [22:33:40] *minus the :-)* [22:34:21] hmm [22:34:35] php -a [22:34:46] echo php_ini_loaded_file(); [22:35:38] So type php -a echo php_ini_loaded_file(); all in one line? [22:35:42] no [22:35:44] php -a [22:35:46] enter [22:35:49] wait for it to load [22:35:50] then the echo [22:38:03] Ok so it says interactive mode enabled but when I type the other thing in it is not doing anything. [22:38:20] did you press enter? [22:38:28] Yes. [22:38:50] What's the betting it's false then? lol [22:38:59] var_dump(php_ini_loaded_file()); [22:41:29] Ugh still not a single response... [22:41:52] * Repton is getting super frustrated * [22:42:31] php -r "var_dump(php_ini_loaded_file());" [22:44:25] http://prntscr.com/8pn9j0 [22:44:44] what is this shit? [22:44:58] PuTTY. [22:45:14] The fact you're using putty to run bash on a windows box... [22:46:12] I thought it was recommended for Windows sorry. [22:46:29] Are you using putty to connect to a remote box? [22:46:45] Yes. [22:47:38] uname -a [22:47:41] what does that output? [22:47:44] * Reedy presumes centos [22:48:02] You aren't actually on windows [22:48:04] So [22:48:05] php -i | grep "Loaded Configuration" [22:48:07] should actually work [22:55:06] Ok i found it is think /opt/pho.conf.d/u302571239.ini [22:55:15] php* [22:55:23] I* [22:55:46] that sounds vaguely about right [22:55:56] looks a bit sharedhostingy :) [22:56:30] So I go to it somehow? [22:57:42] https://www.mediawiki.org/wiki/Manual:Upgrading#What_to_do_in_case_of_.27register_argc_argv_is_set_to_false.27_error [22:58:34] So yeah, you need to edit the file, and add register_argc_argv=true [23:01:21] So it says ads a php.ini file to the maintenance directory if I don't have it in there already? [23:01:29] to add* [23:01:43] The instructions are weird for some reason [23:01:59] You need to add register_argc_argv=true to /opt/pho.conf.d/u302571239.ini [23:02:07] corrected for typos, ovs [23:03:52] Oh ok i just need to somehow find it. [23:05:03] You've found it? [23:05:20] I guess the cheats way... [23:05:49] I found it on the command line but not on my web hosts side. [23:06:22] Yeah, they might not expose it [23:06:47] What's the cheats way? [23:06:51] echo "register_argc_argv=true" >> /opt/pho.conf.d/u302571239.ini [23:07:09] ffs [23:07:16] echo "register_argc_argv=true" >> /opt/php.conf.d/u302571239.ini [23:10:00] And it said permission denied.. ugh.. [23:11:22] Do you know if you can sudo? I'm presuming on a shared environment, it's less likely [23:11:36] Idk. [23:11:59] who's your hosting provider? [23:12:12] hostinger. [23:12:48] http://www.hostinger.co.uk/knowledge-base/39 [23:12:49] hmm [23:14:16] I see a hacky way round it... [23:14:33] If you were to copy your php config, add this line, and specifically run php with the config [23:15:23] Ugh [23:26:30] is there a way to disable the stashedit feature? [23:27:05] why? [23:27:22] because it's slow [23:27:40] i'd rather have one instance of slowness on save rather than multiple during edit [23:36:00] Hello, I am trying to find out where this page is pulling its information, only clue I have is: {{Campaign Respondent URL and IDs}} which is not a page or yeilds any results in a search [23:36:36] Its a template, nevermind [23:41:18] ah, https://www.mediawiki.org/wiki/Manual:$wgAjaxEditStash [23:41:29] searching for stashedit instead of editstash :D [23:44:25] I'd like to add some space after my paragraphs, before my tables start. How do I do that? Is there a way to set that, document-wide?