phpbb/phpbb3 — pull request #1478 by nickvergessen (2013-06-11 14:06:01+00:00)
Title: [ticket/11605] Use empty_dir to better delete files and dirs of extensions

http://tracker.phpbb.com/browse/PHPBB3-11605