corrections to manage_extension in order to make it work
$IP refers to the wiki instance in LocalSettings.php