Bureaucrats, editor, reviewer, Administrators
13,554
edits
Changes
Jump to navigation
Jump to search
→Changelog
;Version 7.3
* Renamed: $file:directory-separator → [[#$file:dir-separator|$file:dir-separator]], file:is-directory → [[#file:is-dir|file:is-dir]], file:create-directory → [[#file:create-dir|file:create-dir]] (aligned with latest specification)
;Version 7.2.1
