buttonmen-dev/buttonmen — pull request #1410 by blackshadowshade (2014-11-15 15:23:28+00:00)
Title: Made BMInterface->get_player_name_from_id() less picky about the type of an empty $playerId

Fixes #1225.

http://jenkins.buttonweavers.com:8080/job/buttonmen-blackshadowshade/519/