stfalcon/TinymceBundle — pull request #42 by Divi (2012-06-25 10:57:14+00:00)
Title: Double semicolon

Minor fix, double semicolon in PHP extension file.