diff --git a/app/assets/javascripts/pretty-text/addon/allow-lister.js b/app/assets/javascripts/pretty-text/addon/allow-lister.js
index 698f64c5d73..042004452e0 100644
--- a/app/assets/javascripts/pretty-text/addon/allow-lister.js
+++ b/app/assets/javascripts/pretty-text/addon/allow-lister.js
@@ -197,7 +197,9 @@ export const DEFAULT_LIST = [
   "li",
   "mark",
   "ol",
+  "ol[reversed]",
   "ol[start]",
+  "ol[type]",
   "p",
   "p[lang]",
   "picture",