Branch: refs/heads/master Home: https://github.com/phpmyadmin/scripts Commit: 81fb86692ba83a8fdf2e19beb1d1fb2f08d0bd32 https://github.com/phpmyadmin/scripts/commit/81fb86692ba83a8fdf2e19beb1d1fb… Author: William Desportes <williamdes(a)wdes.fr> Date: 2018-07-09 (Mon, 09 Jul 2018) Changed paths: M develdocs/sami.php Log Message: ----------- Added phpdoc and fixed CS - Fixed new line coding style errors - Added phpdoc block - Upgraded array to new php syntax, see: https://secure.php.net/manual/en/migration54.new-features.php Signed-off-by: William Desportes <williamdes(a)wdes.fr> Commit: 0817e72c57866c4faf095b9a484fa708fbee6c6c https://github.com/phpmyadmin/scripts/commit/0817e72c57866c4faf095b9a484fa7… Author: Maurício Meneghini Fauth <mauriciofauth(a)gmail.com> Date: 2018-07-11 (Wed, 11 Jul 2018) Changed paths: M develdocs/sami.php Log Message: ----------- Merge pull request #14 from williamdes/cs-fixes Added phpdoc and fixed coding style errors Compare: https://github.com/phpmyadmin/scripts/compare/c638607a6d49...0817e72c5786 **NOTE:** This service been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/ Functionality will be removed from GitHub.com on January 31st, 2019.