public function testupdatePickleSection_simple() { /* simple file with correct pickle section */ $f = FIXTURES_DIR . DIRECTORY_SEPARATOR . "ini" . DIRECTORY_SEPARATOR . "php.ini.simple"; $this->do_testupdatePickleSection($f); }