<mapreri>
Hello! I'd like to ask if anybody is aware of some script or something else to do mass-changes to a wiki. I'm looking to change several hundreds pages in our wiki, so it's starting to be unfeasible to do manually. Before I start writing a script myself, any hint? My working idea was to cycle through all pages using Moin's API (https://moinmo.in/MoinAPI/Examples), load it (Page.get_raw_body()), run a bunch of re.sub() on it, save
<mapreri>
(PageEditor.saveText()).
f_ has joined #moin
<f_>
hi, is there a way to include html in the header?