586: make re-installing a verified extension a no-op#621

asgrim wants to merge 15 commits into

php:1.5.xphp/pie:1.5.xfrom

asgrim:586-reinstall-ext-noopasgrim/pie:586-reinstall-ext-noopCopy head branch name to clipboard