mapserver/mapserver — pull request #4912 by tbonfort (2014-04-27 10:37:34+00:00)
Title: Php56 support for #4911

Opening this as a pull request so it gets tested