Remove workaround hack for php bug 46944
authorReedy <reedy@wikimedia.org>
Sun, 12 Aug 2012 20:11:34 +0000 (21:11 +0100)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 12 Aug 2012 21:11:46 +0000 (21:11 +0000)
commitde185ca16f1a39ed3b1fefa0685d1714a94aaebd
treec889beda2dc734b95a286bc0136acffb6dbc46eb
parent4e46a1434512d577ea906069299f5bab37d4932a
Remove workaround hack for php bug 46944

https://bugs.php.net/bug.php?id=46944

Fixed for 5.3.0, and as we require >= 5.3.2, workaround is redundant

http://php.net/ChangeLog-5.php

Change-Id: I567466c0c747dba2f903e9258d0f06f725cefb8f
includes/json/FormatJson.php