[03:42:23] <zakiemon>	 hello! i have question
[03:42:38] <zakiemon>	 i have 2 wiki's both with differing content, i wouild like to merge them
[03:42:55] <zakiemon>	 is possible with xml files (exported from mediawiki)
[03:51:25] <zakiemon>	 i saw on mediawiki site that one can do manually or automatic with bots, but manually downloading each page is tedious
[03:51:40] <zakiemon>	 can i just import both xml files and be done with it?
[03:56:10] <legoktm>	 zakiemon: does the content overlap? if there are pages in the second dump that were imported from the first, it'll overwrite those pages (though the old content will still be in the page history)
[03:56:42] <zakiemon>	 legoktm: only content that will overlap is the main page (those are differing)
[03:57:05] <zakiemon>	 all other pages are named different and with different content
[03:58:03] <legoktm>	 should be fine then
[03:58:14] <legoktm>	 you might want to make a backup of your database just in case though
[03:58:24] <zakiemon>	 i will try it out then ^_^
[04:09:52] <zakiemon>	 cool!
[04:09:56] <zakiemon>	 thank you!
[04:10:30] <legoktm>	 :D
[04:10:30] <legoktm>	 np
[08:19:31] <ShakespeareFan00>	 Hi
[08:19:56] <ShakespeareFan00>	 The SyntaxHighlight extension does not currently have a lexer for Mediawiki markup
[08:20:17] <ShakespeareFan00>	 Is it worth raising a ticket for this?
[08:32:35] <beli>	 i am using mw1.31.x and extension LDAPProvider. LDAP auth is working fine, but how can i login as a local mediawiki user? is it possible to have mixed auth modes?
[09:08:08] <manthos>	 Hi, is anyone here available for help?
[23:34:59] <HausaDictionary>	 Hello all, can I get some assistance in making my HausaDictionary.com wiki search case-insensitive?
[23:47:29] <HausaDictionary>	 Nevermind, solved it thanks to https://www.mediawiki.org/wiki/Extension:TitleKey