remove "/public" from url

remove_public_from_url.php

<?php
// =============================================================================
// remove "/public" from url:
//
call_user_func(function(){

    // bad:
    // $_SERVER['REQUEST_URI']	/__RELATIVE_PATH_TO_PAGE_ROOT__/public/__PAGE_RELATIVE_URL__
    // good:
    // $_SERVER['REQUEST_URI']	/__RELATIVE_PATH_TO_PAGE_ROOT__/page_relative_url

    $prefix = (dirname(dirname($_SERVER['SCRIPT_NAME'])));
    if ($prefix == DIRECTORY_SEPARATOR || $prefix == '/') {
        $prefix = '';
    }

    $relative_request_uri = preg_replace('#^'.preg_quote($prefix).'#', '', $_SERVER['REQUEST_URI']);

    if (preg_match('#^/public/#', $relative_request_uri)) {
        $new_relative_request_uri = $prefix . preg_replace('#^/public#', '', $relative_request_uri);
        header('Location: ' . $new_relative_request_uri);
        exit();
    }
});
// =============================================================================