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