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

[Michal Čihař]

  Branch: refs/heads/master
  Home:   https://github.com/phpmyadmin/phpmyadmin
  Commit: 7facd526b1c47c07a31e1d2fdc4ef1d0459bbb8b
      https://github.com/phpmyadmin/phpmyadmin/commit/7facd526b1c47c07a31e1d2fdc4ef1d0459bbb8b
  Author: Michal Čihař <michal at cihar.com>
  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ř <michal at cihar.com>


  Commit: 4d9dc457bde30cb3df567ee3398cf004214094d9
      https://github.com/phpmyadmin/phpmyadmin/commit/4d9dc457bde30cb3df567ee3398cf004214094d9
  Author: Michal Čihař <michal at cihar.com>
  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ř <michal at cihar.com>


  Commit: 95d10b8c1f2469c73e556c6ab30f2ec0b79fe182
      https://github.com/phpmyadmin/phpmyadmin/commit/95d10b8c1f2469c73e556c6ab30f2ec0b79fe182
  Author: Michal Čihař <michal at cihar.com>
  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ř <michal at cihar.com>


Compare: https://github.com/phpmyadmin/phpmyadmin/compare/06bb1e67f201...95d10b8c1f24