Get latest CreateBox and RandomSelection
Add RandomSelection
from https://www.mediawiki.org/w/index.php?oldid=717589
modify SectionHide to look much prettier, and have a hide/show all link that works
Commit custom extensions