tree 815b94a41f91f7faf911bad6eabb66a246a28a0f
parent b4922b1baa92028e0a1814c63a40063905c9e551
author Bugfix <mg@henning-ullrich.de> 1481829838 +0100
committer Zesstra <zesstra@zesstra.de> 1481838404 +0200

Platzhalter von AddToMenu() umgestellt.

Fuer bessere Wartbarkeit benutzt der Pub jetzt replace_personal() fuer
Platzhalter. Die alten funktionieren weiterhin, sollten aber nicht mehr
verwendet werden.

Change-Id: Iaf96d9b21ca47e1a921e58fbb612035cad4ecb5b