What player marker plugin

Hello i want to use pigmap but I would like to know what plugin they use to track the players, is it player marker? etc? For example

http://www.worldofminecraft.eu/livemap/markers.php

http://www.worldofminecraft.eu/livemap

What plugin do they use for this? Thanks!
