Theme Editor PHP classes renamed to avoid conflicts