smarty array of user agent updated. NB: in general avoid using server-side identification. Client side is better
Merge branch '3.2-populus' of https://github.com/bedita/bedita into 3.2-populus
Merge branch '3.2-populus' of https://github.com/bedita/bedita into 3.2-populus
#404