Fix double space in trigger_error() call
authorReedy <reedy@wikimedia.org>
Tue, 29 Oct 2013 01:24:26 +0000 (01:24 +0000)
committerReedy <reedy@wikimedia.org>
Tue, 29 Oct 2013 01:24:26 +0000 (01:24 +0000)
commit6afa1f337c99c905bc852c5e12b05644a8e75619
tree7e0bdff96248857236f7f69d39b9d29d310eb8ab
parentcef19c47962f6c60ee290200bded5acf9cb11825
Fix double space in trigger_error() call

Change-Id: I31b0aab630bf4083f4fa15d3fbce8a0d0759c94e
includes/db/Database.php