GitLab

Also destroy the session when creating a new user, to prevent strange session-out-of-sync problems. I think they only happen when a crash happens while creating a user account but you can't be too careful.

This probably needs calling in a few places, especially when the currently logged in user changes while the session is hanging around.

Hasn't been needed since before Mahara 1.0!

Conflicts:

	htdocs/lib/version.php

According to the documentation, getimagesize is slower, but will return the same result for filetype.
(cherry picked from commit 981e86f5)

Needed for all the copying I'm doing for the HTML export.

Mostly this is to cheaply get rid of the wall post form.

Now the default render_self for internal artefacts escapes their output, need to make sure the introduction is treated as HTML.

This required splitting up the export polling of artefact plugins into two steps - one where we establish what stylesheets are going to be needed, and the second for actually doing the export. This is because the second step writes out templates, so we have to know the stylesheets before this.

This required re-calculating the progress bar, those changes are reflected here too.

IE doesn't remove dom nodes when they're display: none, but can't handle visibility well it seems. So use display instead.

Don't automatically serve the file if the browser is opera - it fails horribly and tries to display the content inline.

It doesn't seem to appear in some browsers (I'm looking at you, Opera and Safari), but does make things a little nicer in IE.

Added a TODO about separating the generation of archives from the export() method so it can be generalised.
(cherry picked from commit 7165e6921d05fca753e91c47d6a8bf224c67f14a)

Recursively look for all files and folders, not just two levels deep, when creating a strategy for root level folders.

Removed the old system for this and implemented one that is similar to how it's being done for HTML export.