Sat, 29 Dec 2012 17:16:46 +0100
Fixed an issue in the IRC widget and updated the translations.
<!-- This is the DTD for eric4's plugin repository file version 4.1 --> <!ELEMENT Name (#PCDATA)> <!ELEMENT Short (#PCDATA)> <!ELEMENT Description (#PCDATA)> <!ELEMENT Url (#PCDATA)> <!ELEMENT Author (#PCDATA)> <!ELEMENT Version (#PCDATA)> <!ELEMENT Filename (#PCDATA)> <!ELEMENT Plugin (Name, Short, Description, Url, Author, Version, Filename)> <!ELEMENT Plugins (Plugin*)> <!ATTLIST Plugins version CDATA #REQUIRED>