<?php 

$lang['profiler_database'] = "DATABASE";
$lang['profiler_controller_info'] = "CLASS/METHOD";
$lang['profiler_benchmarks'] = "BENCHMARKS";
$lang['profiler_queries'] = "QUERIES";
$lang['profiler_get_data'] = "GET DATA";
$lang['profiler_post_data'] = "POST DATA";
$lang['profiler_uri_string'] = "URI STRING";
$lang['profiler_memory_usage'] = "GEHEUGEN GEBRUIK";
$lang['profiler_config'] = "CONFIG VARIABELEN";
$lang['profiler_session_data'] = "Sessie informatie";
$lang['profiler_headers'] = "HTTP HEADERS";
$lang['profiler_no_db'] = "Database driver is niet geladen";
$lang['profiler_no_queries'] = "Geen queries uitgevoerd";
$lang['profiler_no_post'] = "Geen POST data";
$lang['profiler_no_get'] = "Geen GET data";
$lang['profiler_no_uri'] = "Geen URI data";
$lang['profiler_no_memory'] = "Geheugen gebruik niet beschikbaar";
$lang['profiler_no_profiles'] = "Geen profiel informatie";
$lang['profiler_section_hide'] = "Verbergen";
$lang['profiler_section_show'] = "Toon";

?>