functions_themes.php

• install/resources/upgrade17.php -> line 826
• install/upgrade.php -> line 457
• install/upgrade.php -> line 489
• install/resources/upgrade12.php -> line 1886
• install/index.php -> line 1677

• install/index.php -> line 1675
• install/upgrade.php -> line 455
• install/upgrade.php -> line 487
• install/resources/upgrade12.php -> line 1884
• install/resources/upgrade17.php -> line 824