improvements to the extensions.php functions file.