jonas

Here’s a way to quickly change the file in the shell:

cat upgrade-functions.php | sed "s/res\[0\]\['Type'\]/res\[0\]->Type/g" > upgrade-functions.php