Handle "new" (wp-dev)-style redirect to port 8443 for localhost traffic
Handle "new" (wp-dev)-style redirect to port 8443 for localhost traffic

epfl-idevelop/jahia2wp,epfl-idevelop/jahia2wp,epfl-idevelop/jahia2wp,epfl-idevelop/jahia2wp