Ersatz für die json_-Funktionen falls PHP ohne JSON kompiliert wurde