functions_themes.php

• install/resources/upgrade17.php -> line 826
• install/resources/upgrade12.php -> line 1886
• install/upgrade.php -> line 445
• install/upgrade.php -> line 477
• install/index.php -> line 1666

• install/index.php -> line 1663
• install/upgrade.php -> line 442
• install/upgrade.php -> line 475
• install/resources/upgrade12.php -> line 1884
• install/resources/upgrade17.php -> line 824