<?php

/**
 * @license    GPL 2 (http://www.gnu.org/licenses/gpl.html)
 *
 * @author Gerrit <klapinklapin@gmail.com>
 */
$lang['timelimit']             = 'Tijdslimiet voor uitvoeren van opdrachten (seconden, 0 = Standaard tijd van PHP)';
$lang['sessionexp']            = 'Sessie verlooptijd (seconden)';