install.php support for extensions