CodeIgniter system library used in PublicDefender