Fix WITH ebnf (#17053)#17188

ti-chi-bot[bot] merged 2 commits into

pingcap:release-8.0pingcap/docs:release-8.0from

ti-chi-bot:cherry-pick-17053-to-release-8.0ti-chi-bot/docs:cherry-pick-17053-to-release-8.0Copy head branch name to clipboard