fix minor issue with php5.3
Merge branch 'develop' of https://github.com/WebTales/rubedo into develop
ignore theme
Merge branch 'develop' of https://github.com/WebTales/rubedo into develop