titolo = $titolo; $this->extensions[$ext] = $ext; } /** * Costruisco la struttura json del filtro. * La lista viene collassata in una stringa * @return string struttura json del filtro */ public function getFilter() { $new = new stdClass(); $new->titolo = $this->titolo; //riordino le chiavi sort($this->extensions); $new->extensions = implode(',', $this->extensions); return json_encode($new); } /** * Aggiungo alla lista una estensione. * @param string $newExt * @return FilterExt */ public function addExt($newExt) { $this->extensions[$newExt] = $newExt; return $this; } /** * @return string Titolo del filtro */ public function getTitolo() { return $this->titolo; } }