mirror of
https://github.com/phpbb/phpbb.git
synced 2025-06-18 08:01:10 +02:00
* nickvergessen/ticket/11605: [ticket/11605] Remove unused copied_files property [ticket/11605] Use empty_dir to better delete files and dirs of extensions