[#7513] ticket:657 Add a script to change wiki page titles with / in it