核心代码中页码处理的问题

./source/class/discuz/discuz_application.php文件中的的247行的page过滤，
        if(isset($_GET['page'])) {
            $_GET['page'] = rawurlencode($_GET['page']);
        }
和263行中的page过滤不是有不一致吗？首先page肯定是整数了，用rawurlencode来转换有什么用，明显多余了。
        $this->var['page'] = empty($_GET['page']) ? 1 : max(1, intval($_GET['page']));