2.5.x code mirror3

Code mirror 3.16 for Joomla 2.5. The 3.x version is here #1803