Sam Tuke 72215a818d added new user settings interface for deleting old file versions vor 12 Jahren
..
ajax 72215a818d added new user settings interface for deleting old file versions vor 12 Jahren
appinfo 72215a818d added new user settings interface for deleting old file versions vor 12 Jahren
css 80c850d018 added revert attempt outcome messages, removed contextual ajax revert button for now as it's not functional, improved readaibility of scripts vor 12 Jahren
js 72215a818d added new user settings interface for deleting old file versions vor 12 Jahren
templates 72215a818d added new user settings interface for deleting old file versions vor 12 Jahren
history.php 4a5973662c Merge branch 'unstable' vor 12 Jahren
settings-personal.php 72215a818d added new user settings interface for deleting old file versions vor 12 Jahren
settings.php 583dce5276 removing executable bit - again vor 12 Jahren
versions.php 72215a818d added new user settings interface for deleting old file versions vor 12 Jahren