An editor designed to create and edit pocketmine plugins (www.pocketmine.net)