devexpress-richedit/lib/common/formats/html/import/importers/ol.js

DevExpress Rich Text Editor is an advanced word-processing tool designed for working with rich text documents.

import { HtmlListTagImporterBase } from './list-base';
export class HtmlOlTagImporter extends HtmlListTagImporterBase {
    elementTag() {
        return "OL";
    }
}