it seems some addons use other names instead of include so disable the code for now. Once 1.4 has been released we can try to fix it again or make it mandatory to use INCLUDE for this purpose.
reenable these validations. The problem is that all MP scenarios/campaigns share the same namespace and one rogue scenario can avoid the player to create a MP game. So every scenario/campaign should get it's own namespace to be save.
Instead of using level_to_gamestate reinit the state_, this needs more testing -- Mordante It seems level_to_gamestate is needed for the start of game download, but downloads of later scenarios miss certain info and add a players section. Use players to decide between old and new way. (Of course it would be nice to unify the data stored.)
This should be replaced by a WML tag called 'tooltip=' in the data/themes/editor.cfg file. The theme and display classes should then load the given tooltip in the button.
FIXME: this could be made simpler with gui::label widgets, but I'm too lazy to go and learn how to use them, thus I'll concentrate on the real feature -- shadowmaster
Note the gzipped parameter should be removed later, we want to send all data gzipped. This can be done once the campaign server is also updated to work with gzipped data.