[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 7facd5: Remove code for PHP < 5.4

Branch: refs/heads/master Home: https://github.com/phpmyadmin/phpmyadmin Commit: 7facd526b1c47c07a31e1d2fdc4ef1d0459bbb8b https://github.com/phpmyadmin/phpmyadmin/commit/7facd526b1c47c07a31e1d2fdc4… Author: Michal Čihař &lt;michal(a)cihar.com&gt; Date: 2015-12-09 (Wed, 09 Dec 2015) Changed paths: M libraries/common.inc.php Log Message: ----------- Remove code for PHP < 5.4 Signed-off-by: Michal Čihař &lt;michal(a)cihar.com&gt; Commit: 4d9dc457bde30cb3df567ee3398cf004214094d9 https://github.com/phpmyadmin/phpmyadmin/commit/4d9dc457bde30cb3df567ee3398… Author: Michal Čihař &lt;michal(a)cihar.com&gt; Date: 2015-12-09 (Wed, 09 Dec 2015) Changed paths: M libraries/common.inc.php Log Message: ----------- Update comment to match current requirements Signed-off-by: Michal Čihař &lt;michal(a)cihar.com&gt; Commit: 95d10b8c1f2469c73e556c6ab30f2ec0b79fe182 https://github.com/phpmyadmin/phpmyadmin/commit/95d10b8c1f2469c73e556c6ab30… Author: Michal Čihař &lt;michal(a)cihar.com&gt; Date: 2015-12-09 (Wed, 09 Dec 2015) Changed paths: M libraries/error_report.lib.php R test/libraries/PMA_prettyPrint_test.php Log Message: ----------- Remove PMA_prettyPrint It is no longer needed as JSON_PRETTY_PRINT is there since PHP 5.4 (and we require 5.5). Signed-off-by: Michal Čihař &lt;michal(a)cihar.com&gt; Compare: https://github.com/phpmyadmin/phpmyadmin/compare/06bb1e67f201...95d10b8c1f24