From f12848f9e1cbb079b9237b4074872e65d7aaa1a1 Mon Sep 17 00:00:00 2001 From: Michael Alexsander Silva Dias Date: Thu, 11 Apr 2019 21:48:40 -0300 Subject: [PATCH] Document String's 'is_valid_filename()' (cherry picked from commit 70499faff80b7213d7344db6128a8dc51634613f) --- doc/classes/String.xml | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/doc/classes/String.xml b/doc/classes/String.xml index 6ac47a89c2..31633d38fc 100644 --- a/doc/classes/String.xml +++ b/doc/classes/String.xml @@ -432,6 +432,14 @@ Returns [code]true[/code] if this string is a subsequence of the given string, without considering case. + + + + + Returns [code]true[/code] if this string is free from characters that aren't allowed in file names, those being: + [code]: / \ ? * " | % < >[/code] + +