Compatibility with PHP 5.3 in DebugTable.php