Create patch set 5
Patch Set 5: Published edit on patch set 4.
Patch-set: 5
Subject: Add wgDefaultTheme to ManageWiki
Commit: fb6457bb7e714f4c6d91fdece16b1186ce38a4c3
Tag: autogenerated:gerrit:newWipPatchSet
Groups: 88199c74a09fe99976e95849061fffb4710084c6