[03:50:54] Are they reasons other than historical continuity that makes using Mariadb a better fit than Postgres for Wikimedia projects? That is, maybe Mariadb has some features that Postgres doesn't and which are critical in the Wikimedia instances? [04:21:50] i want to use a specific font for displaying special characters on certain pages. the font file is big, so i only want to load it where it will be used. is there a way i can load the font with a template? [04:27:48] maybe this is what i want: https://www.mediawiki.org/wiki/Extension:TemplateStyles [06:19:10] maybe this is not the way. it looks like the CSS parser is blocking @font-family? [06:24:23] unholycrab: from the docs page you linked above: "@font-face rules must use a font-family prefixed with "TemplateStyles". This should largely prevent redefining fonts used elsewhere in the document." [06:27:15] o tru [06:28:51] i don't think it's getting that far though because I can't save the template [06:58:14] https://termbin.com/eo3so [07:00:03] when i "save" the Template:Bravura/style.css page having this source, it gives no message and just refreshes the editor [07:00:14] if i replace the source with something like .foo { color: red; } it will save [07:13:30] also whitelisted the url in the $wgTemplateStylesAllowedUrls [07:36:31] psychoslave: I don't think anyone has seriously evaluated postgresql for Wikimedia wikis because it's not worth the migration [07:57:31] will it be legoktm's next work domination plan >.> [08:05:17] p858snake: I have literally 0% with using postgres :p [08:05:50] did you have anything to do with mm3 before your current project? [08:07:14] I sent an email once or twice ;) [11:45:14] We have a couple of custom system messages that show up in our Sidebar, https://wiki.documentfoundation.org/MediaWiki:Getinvolved-description https://wiki.documentfoundation.org/MediaWiki:Donate-description How can I mark these for translation without the raw markup showing (and languages element)? [11:46:10] Thanks for the feedback. I see more news about MySQL/Mariadb to Postgres migration than the other side. I'm not aware of feedback of the type "a few months/years later, did it worth the trouble of migration?" in one way or the other. [13:18:04] buovjaga: you need https://www.mediawiki.org/wiki/Help:Extension:Translate/Unstructured_element_translation [14:00:43] thanks [16:11:34] I just installed a wiki, but it has no skin. [16:37:10] I just installed a wiki, but it has no skin. This occurs only on normal pages, on special pages it does not.