wiki server: fixing error introduced in merge conflict of 321187cbd4b712