Fix property type in Highlighter
authorMatthias Schmidt <gravatronics@live.com>
Sat, 7 May 2016 13:43:02 +0000 (15:43 +0200)
committerMatthias Schmidt <gravatronics@live.com>
Sat, 7 May 2016 13:43:02 +0000 (15:43 +0200)
commitb44969c592915f79c38e9959b32d1c4da7b3cd0c
tree9afd51543fd32d86b6ea52ec53985ea7e3b3bbc8
parent3c0e33c564331bbf1a85d9866295676ceffb05b0
Fix property type in Highlighter
wcfsetup/install/files/lib/system/bbcode/highlighter/Highlighter.class.php