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

Branch: refs/heads/master Home: https://github.com/phpmyadmin/phpmyadmin Commit: 9dfd32317d0184f5dee2560e387d9f1a5d632d50 https://github.com/phpmyadmin/phpmyadmin/commit/9dfd32317d0184f5dee2560e387… Author: Nisarg Jhaveri <nisargjhaveri(a)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(a)gmail.com> Commit: 6c364c8aa7351b3735f4a0468fa425d0bc3ce690 https://github.com/phpmyadmin/phpmyadmin/commit/6c364c8aa7351b3735f4a0468fa… Author: Marc Delisle <marc(a)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