[09:48:20] hi, with the standard search engine of mediawiki, is it possible to search in the raw wikitext? [09:48:44] I want to know if a certain extention is used [13:24:44] akoopal: did you try searching for that? [13:32:23] harmaahylje: it was about the graphviz extention, tried to just search for graphviz, didn't seem to work [13:33:28] so basically I want to search for pages where the wikitext contains graphviz [13:35:37] akoopal: as far as I know, the sql based search is based on wikitext, but searching the raw wikitext is not possible [13:45:10] ok, pity [13:52:51] hi [13:53:53] anyone know any extensions to collect responses from a page? lie a regular form? [13:53:56] *lie [13:53:59] **like [13:55:54] https://www.mediawiki.org/wiki/Manual:Forms all of them seem to be about creating pages [13:56:02] is there nothing to just gather data? [13:57:48] create a new page for each answer and somehow hide it? :P [13:59:04] eek that seems icky [14:01:52] use something like webropol, google forms, or some other service? [20:39:21] I am having trouble getting VisualEditor to work. When I click "edit" I just get the regular edit page. [20:39:38] Hello mediawiki people :) [20:39:40] I can see that parsoid is running with `sudo service parsoid status` [20:40:11] And I can see that Visual Editor is installed when I go to Special:Version [20:45:01] And I get HTML back when I run this on the server: curl -L http://localhost:8142/localhost/v3/page/html/Main_Page/ [21:25:10] gah. Sorted that issue out. Now I just keep getting "curl error: 7" when I try to edit a page