Philipp&Joerg -
could you elaborate on:
> i) First adapt the database model to the new features (article
> history, new user groups).
Currently user groups are not defined in the database, but in
includes/DefaultSettings.php through the $wgGroupPermissions array.
The _membership_ in particular groups is defined in the user_groups
table. What need is there to change the database?
Brion was not on the list yet, so I just added him.
--
Peace & Love,
Erik
DISCLAIMER: This message does not represent an official position of
the Wikimedia Foundation or its Board of Trustees.
"An old, rigid civilization is reluctantly dying. Something new, open,
free and exciting is waking up." -- Ming the Mechanic