Index: branches/5.2.x/core/kernel/utility/formatters/options_formatter.php =================================================================== diff -u -N -r13840 -r14244 --- branches/5.2.x/core/kernel/utility/formatters/options_formatter.php (.../options_formatter.php) (revision 13840) +++ branches/5.2.x/core/kernel/utility/formatters/options_formatter.php (.../options_formatter.php) (revision 14244) @@ -1,6 +1,6 @@