[Phpmyadmin-git] [phpmyadmin/phpmyadmin] 9dfd32: Fix coding style in page settings

[Marc Delisle]

  Branch: refs/heads/master
  Home:   https://github.com/phpmyadmin/phpmyadmin
  Commit: 9dfd32317d0184f5dee2560e387d9f1a5d632d50
      https://github.com/phpmyadmin/phpmyadmin/commit/9dfd32317d0184f5dee2560e387d9f1a5d632d50
  Author: Nisarg Jhaveri <nisargjhaveri at gmail.com>
  Date:   2015-05-22 (Fri, 22 May 2015)

  Changed paths:
    M libraries/config/page_settings.class.php
    M libraries/navigation/Navigation.class.php
    M libraries/navigation/NavigationHeader.class.php
    M prefs_forms.php
    M prefs_manage.php

  Log Message:
  -----------
  Fix coding style in page settings

Signed-off-by: Nisarg Jhaveri <nisargjhaveri at gmail.com>


  Commit: 6c364c8aa7351b3735f4a0468fa425d0bc3ce690
      https://github.com/phpmyadmin/phpmyadmin/commit/6c364c8aa7351b3735f4a0468fa425d0bc3ce690
  Author: Marc Delisle <marc at infomarc.info>
  Date:   2015-05-22 (Fri, 22 May 2015)

  Changed paths:
    M libraries/config/page_settings.class.php
    M libraries/navigation/Navigation.class.php
    M libraries/navigation/NavigationHeader.class.php
    M prefs_forms.php
    M prefs_manage.php

  Log Message:
  -----------
  Merge pull request #1690 from nisargjhaveri/fix_style

Fix coding style in page settings


Compare: https://github.com/phpmyadmin/phpmyadmin/compare/1fed85ce7447...6c364c8aa735