From 071defded6f0e4d2a805b336f56f0a2524d5b1b6 Mon Sep 17 00:00:00 2001
From: Nathaniel Guse <nathaniel.guse@gmail.com>
Date: Mon, 4 Mar 2013 09:55:23 -0600
Subject: [PATCH] [ticket/11386] Fix missing ;

PHPBB3-11386
---
 phpBB/includes/db/migrator.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/phpBB/includes/db/migrator.php b/phpBB/includes/db/migrator.php
index b925ca5297..9fe4f40df2 100644
--- a/phpBB/includes/db/migrator.php
+++ b/phpBB/includes/db/migrator.php
@@ -29,7 +29,7 @@ class phpbb_db_migrator
 	protected $db;
 
 	/** @var phpbb_db_tools */
-	protected $db_tools
+	protected $db_tools;
 
 	/** @var string */
 	protected $table_prefix;