<?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_headers'] = 'HTTP HEADERS';
$lang['profiler_no_db'] = 'Database driver is momenteel niet geladen';
$lang['profiler_no_queries'] = 'Er zijn geen queries uitgevoerd';
$lang['profiler_no_post'] = 'Er is geen POST data';
$lang['profiler_no_get'] = 'Er is geen GET data';
$lang['profiler_no_uri'] = 'Er is geen URI data';
$lang['profiler_no_memory'] = 'Geheugen gebruik niet beschikbaar';
$lang['profiler_no_profiles'] = 'Geen Profile gegevens - alle Profile onderdelen zijn uitgeschakeld';
?>