[04:35:51] How can I get Visual Editor to not lock up PHP when I switch from "Edit" to "Edit source" on a page with SyntaxHighlight code blocks? [07:37:52] !install | Isarra [07:37:52] Isarra: Installing MediaWiki takes between 10 and 30 minutes, and involves uploading/copying files and running the installer script to configure the software. Full instructions can be found in the INSTALL file supplied in the distribution archive. An installation manual can also be found at . See also: !download [08:10:47] gj marktraceur [08:18:59] Reedy: ty [09:45:11] marktraceur: sudo apt install mediawiki [10:13:41] legoktm: I tried to make a joke about what version the debian package is right now, but apparently it's no longer even a real package. [10:14:09] marktraceur: it definitely is! https://tracker.debian.org/pkg/mediawiki [10:14:43] legoktm: I got some snarky response like "this is a purely virtual package" [10:14:51] o.O [10:15:02] what version of debian? [10:15:04] Maybe it's something the Ubuntu repos did [10:15:42] oh. mediawiki in ubuntu is uh, outdated. [10:15:49] legoktm: Linux Mint Sarah, I think based on Ubuntu Xenial [10:15:50] newer versions are kind of up to date [10:15:53] o.o [10:15:59] yeah, xenial doesn't have mediawiki [10:16:06] my ppa has a xenial version though! [10:16:58] Silly Ubuntu. [10:22:43] !package | marktraceur [10:22:43] marktraceur: Many Linux distributions provide MediaWiki in a packaged format for that distro. These packages typically contain obsolete & unsupported versions of MediaWiki; they also like to move around & change files, & do other super-counterproductive things. You'll get the best support here if you install MediaWiki directly from one of our tarballs - https://www.mediawiki.org/ - or Git https://www.mediawiki.org/wiki/Download_from_Git [10:22:56] >.> <.< [10:32:36] ooh, we should change that :o [10:48:32] How can I get Visual Editor to not lock up PHP when I switch from "Edit" to "Edit source" on a page with SyntaxHighlight code blocks? [10:51:49] !del package [10:51:49] Deleting users is very messy and not recommended, because this breaks referential integrity in the database (they appear in many different tables like users, edit histories, recentchanges, preferences, etc). A safe solution is to block the users, and possibly rename them with . You can also try [10:51:57] !package del [10:51:58] Successfully removed package [10:53:34] !package is Many Linux distributions provide MediaWiki in a packaged format for that distro. The one's for debian and Ubuntu are good, however other distros sometimes contain obsolete & unsupported versions of MediaWiki. If you are using a distro other than debian/Ubuntu you should use the official tarball - https://www.mediawiki.org/ - or Git https://www.mediawiki.org/wiki/Download_from_Git [10:53:35] Key was added [10:53:43] Is that more accurate [10:53:53] I have no idea what the status of non-debian packages are [11:49:16] :-/ [12:15:13] Hi meskobalazs and urbalazs [12:15:23] !package is Linux distributions provide MediaWiki in a packaged format for that distro. The ones in Debian and Ubuntu work, however other distros sometimes contain obsolete & unsupported versions of MediaWiki. If you are using a distro other than Debian or Ubuntu, you should use the official tarball - https://www.mediawiki.org/ - or Git [12:15:24] https://www.mediawiki.org/wiki/Download_from_Git [12:15:24] This key already exists - remove it, if you want to change it [12:15:34] We also use #mediawiki-i18n [12:15:34] Too long. :( [12:15:42] !download [12:15:42] The latest stable release of MediaWiki can be downloaded from . Files are supplied in a .tar.gz archive. MediaWiki can also be obtained direct from our Git repository . [12:15:50] !package del [12:15:50] Successfully removed package [12:16:11] !package is Linux distributions provide MediaWiki in a packaged format for that distro. The ones in Debian and Ubuntu work, however other distros sometimes contain obsolete & unsupported versions of MediaWiki. If you are using a distro other than Debian or Ubuntu, try downloading MediaWiki (use !download for more) [12:16:12] Key was added [12:35:04] MatmaRex: You are being sought after! (See #wmhack) [12:39:50] Niharika: :o [12:40:02] Niharika: i'm in one of the room on the ground floor, let me check the name [12:40:24] Niharika: heuriger [12:40:37] MatmaRex: you in austria? [12:40:45] yes [12:41:00] MatmaRex: how is it? never been there is it warm? [12:41:13] well it's summer, so yes [12:41:28] MatmaRex: have fun :) [12:42:33] thanks [12:45:54] can someone tell me how i find the ores workboard? [12:47:17] duncan_: yes sure [12:47:22] duncan_: i will link you one moment [12:47:52] duncan_: https://phabricator.wikimedia.org/tag/mediawiki-extensions-ores/ here is the link to the workboard [12:48:09] merci [12:48:23] duncan_: my french isnt too good but your welcome :) [12:49:20] Zppix: i bet mine isn't any better ;-) [12:49:36] I know what bonjour and merci means... but thats getting off topic :P [14:31:20] hi [14:32:29] is there a rss/atom feed (new version/news) somewhere? i don't see one, i may be blinds [14:33:55] Umm, hmm. I don't think we do [14:34:03] someone should setup featurefeeds extension for that [14:34:13] Bombo: The main method is the mediawiki-announce mailing list [14:34:22] which will email you any time a new version is released [14:34:33] I'm not sure if that's the type of news you're interested in [14:36:20] bawolff_: i'm interested in that news box on https://www.mediawiki.org/wiki/MediaWiki [14:36:44] to get notified when a new version is available [14:37:15] yeah, nobody has turned that into an rss feed [14:37:30] its possible, we have code to do that for wikipedia, but nobody has set it up for mediawiki afaik [14:37:39] I mean technically you can do rss of the history page [14:38:09] https://www.mediawiki.org/w/index.php?title=News&feed=atom&action=history [14:38:13] but its ugly [14:39:57] hmm yes ugly :) [14:44:07] Bombo: I'll file a bug about getting something nicer [14:44:31] but all the version related things do go to https://lists.wikimedia.org/mailman/listinfo/mediawiki-announce [14:44:48] Hi [14:46:12] I have a Problem with the Headings in a page. The heading have a number before the Title. How can i rmove this? It is a fresh installation [14:53:35] aharoni: see https://www.mediawiki.org/wiki/OAuth/For_Developers#Authorization for doc [15:52:42] Simone_: e da qui, #mediawiki-i18n [16:20:00] ok so I got search suggestions working on the custom skin again, but only via Special:Search. our search box on every page is embedded in a wordpress menu for wiki navigation. Is there any workaround? it's also created limitations like being unable to create a "What links here" link because it strips the {{ }} from the url [20:26:01] tonythomas: so for instance there is an alternative translation at http://st.unicode.org/cldr-apps/v#/ml/Languages_E_J/3b4054dcfad295a6 [22:12:32] Dereckson: I hope you don't mind, but i made an alternative patch for one of your patches, because I think there's a simpler way [22:44:24] bawolff_: no, I don't mind