From 6bf46bc539f68bbb164003ce359095e8f73c15c1 Mon Sep 17 00:00:00 2001
From: Dieter Adriaenssens <ruleant@users.sourceforge.net>
Date: Sat, 5 May 2012 23:26:43 +0200
Subject: [PATCH] cleanup whitespace

---
 libraries/import/mediawiki.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/libraries/import/mediawiki.php b/libraries/import/mediawiki.php
index bdfcd71b55..7f2fe50332 100644
--- a/libraries/import/mediawiki.php
+++ b/libraries/import/mediawiki.php
@@ -317,7 +317,7 @@ function PMA_setTableName(&$table_name)
  */
 function PMA_setTableHeaders(&$table_headers, $table_row)
 {
-    if ( empty($table_headers) ) {
+    if (empty($table_headers)) {
         // The first table row should contain the number of columns
         // If they are not set, generic names will be given (COL 1, COL 2, etc)
         $num_cols = count($table_row);
@@ -486,4 +486,4 @@ function PMA_explodeMarkup($text)
 
     return $items;
 }
-?>
\ No newline at end of file
+?>