[01:12:17] So, I've got an old wiki running MediaWiki 1.19.2 and the 'text' table in the database somehow got corrupted. The wiki complained of a duplicate primary key every time you tried to edit a page. [01:12:48] I used mysqlcheck to fix it and it works again, but I'm wondering if there is anything else I should do to make sure everything's all right with the database. [01:19:47] And yeah, I should upgrade MediaWiki... but making sure nothing is hosed takes priority. [01:27:15] 1.19 hasn't received security releases since about 2015, you really should consider upgrading asap [09:23:56] Hi guys, if someone is already editing the same article, I want to show a warning. With the source editor it's working. With the VE the warning is not shown. How can I do that for the VE? Is this problem related to the parsoid? [09:30:08] I don’t think that’s standard MW functionality... [09:38:28] Reedy no it's not. I thought someone may know how this could be done [09:40:03] How’s it working with the source editor? [09:42:04] Reedy with the extension called EditWarning [09:42:33] https://www.mediawiki.org/wiki/Extension:EditWarning [09:49:18] Might be as simple as another hook for VE. But not sure offhand [10:01:04] ok thanks Reedy I though asking would do no harm :) [10:35:00] ...