From 439ade4ee2f2fcd301ad3690624a821a779c95ee Mon Sep 17 00:00:00 2001
From: Nils Adermann <naderman@naderman.de>
Date: Thu, 19 Apr 2012 03:51:17 +0200
Subject: [PATCH] [ticket/10759] Make sure style ids are integers

PHPBB3-10759
---
 phpBB/install/database_update.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/phpBB/install/database_update.php b/phpBB/install/database_update.php
index 88ebb8209e..a0892005d2 100644
--- a/phpBB/install/database_update.php
+++ b/phpBB/install/database_update.php
@@ -2468,7 +2468,7 @@ function change_database_data(&$no_updates, $version)
 							'style_parent_tree'	=> '',
 						);
 						_sql('UPDATE ' . STYLES_TABLE . ' SET ' . $db->sql_build_array('UPDATE', $sql_ary) . ' WHERE style_id = ' . $style_row['style_id'], $errored, $error_ary);
-						$valid_styles[] = $style_row['style_id'];
+						$valid_styles[] = (int) $style_row['style_id'];
 					}
 				}