Added PHP5-tidy extension/module