Ben, sorry for the late reply; I’ve been away.
It’s not clear from your post whether you’ve applied the patch correctly. After patching, you should have:
$modules = $modules_local;
if ($online) {
$modules_online = module_getonlinexml();
if (isset($modules_online)) $modules += $modules_online;
}
ksort($modules);
i.e. you delete the line that starts with ‘-’ and add the line that starts with ‘+’.
John