Remove quick edit link

remove-quick-edit-link.php

<?php

namespace WPSE\realloc;

if ( is_admin() ) {
    function remove_quick_edit( $actions, $post ) {
        if( ! current_user_can( 'manage_options' ) )
            unset( $actions['inline hide-if-no-js'] );
        return $actions;
    }
    add_filter( 'page_row_actions', __NAMESPACE__ . '\\remove_quick_edit', 10, 2 );
    add_filter( 'post_row_actions', __NAMESPACE__ . '\\remove_quick_edit', 10, 2 );
}