<?php
/**
 * helpers_permissions.php
 * 
 * DEPRECATED - Diese Datei wird nicht mehr verwendet!
 * Alle Berechtigungsfunktionen sind jetzt in db.php
 * 
 * Diese leere Datei existiert nur noch aus Kompatibilitätsgründen.
 * Kann sicher gelöscht werden.
 */

// Alle Funktionen sind jetzt in db.php - diese Datei ist leer
