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