diff --git a/lib/editor/tiny/lang.php b/lib/editor/tiny/lang.php
index d3a5e988af9..4bd368ce56f 100644
--- a/lib/editor/tiny/lang.php
+++ b/lib/editor/tiny/lang.php
@@ -74,10 +74,10 @@ class lang {
             }
 
             [$rev, $lang] = explode('/', $slashargument, 2);
-            $rev  = min_clean_param($rev, 'RAW');
+            $rev  = min_clean_param($rev, 'INT');
             $lang = min_clean_param($lang, 'SAFEDIR');
         } else {
-            $rev  = min_optional_param('rev', 0, 'RAW');
+            $rev  = min_optional_param('rev', 0, 'INT');
             $lang = min_optional_param('lang', 'standard', 'SAFEDIR');
         }
 
diff --git a/lib/editor/tiny/loader.php b/lib/editor/tiny/loader.php
index 5bcf26a5294..5f26c305142 100644
--- a/lib/editor/tiny/loader.php
+++ b/lib/editor/tiny/loader.php
@@ -74,10 +74,10 @@ class loader {
             }
 
             [$rev, $filepath] = explode('/', $slashargument, 2);
-            $this->rev  = min_clean_param($rev, 'RAW');
+            $this->rev  = min_clean_param($rev, 'INT');
             $this->filepath = min_clean_param($filepath, 'SAFEPATH');
         } else {
-            $this->rev  = min_optional_param('rev', 0, 'RAW');
+            $this->rev  = min_optional_param('rev', 0, 'INT');
             $this->filepath = min_optional_param('filepath', 'standard', 'SAFEPATH');
         }