06c5cb2cf6
Notes : Permissions themselves were already added in commit 50ef9288606077dfc2b457db490f6fc2a5461c6c : (bug #3396) This add batch deletion of items and fixes permissions for batch modification by Jean-André Santoni Javascript for bolding currently selected page in tools-menu.inc enhanced to support url with parameters |
||
---|---|---|
.. | ||
prog |