The MediaWiki code was updated today.
Here is a short summary of the changes that concern the ProofreadPage
extension.
* text extraction from djvu has not been enabled; there are still some
security issues with it, but I hope it will be available in a
not-too-distant future.
* navigation buttons in ProofreadPage are broken, except for djvu files.
It should be fixed soon
* the zoom was completely changed; the new zoom is the same as the one
used previously used on de.ws.
I plan to add mouse drag&zoom to it.
* the layout of the edit window can be changed dynamically, from
horizontal to vertical (5th button in the toolbar)
* the "pagelist" syntax was changed.
There are now two distinct types of parameters :
-parameters that are applied to a single page. if the parameter is
numeric, it is considered as a page counter. otherwise, it is considered
as a style
-parameters that are applied to an interval of pages : these are always
styles
Reserved styles are : "roman", "highroman", "empty". other
strings are
passed to the link.
Example : <pagelist 1to10="roman" 11=1 />
In this example, '1to10' is an interval, and 11 is a single page.
It is possible to define overlapping intervals, or to modify a single
page within an interval :
<pagelist 1to5="empty" 1to10="roman" />
Some preexisting pagelists need to be updated.
In addition, I noticed that some pagelists are broken, because they
use parameters such as n="[X]", which does not seem to be correctly
passed by the parser. I do not know if this was accepted before the
code update. This issue does not seem to be related to the pagelist
command itself, and there is little I can do about it.
Thomas