Merge branch 'master' of https://github.com/WikiToLearn/WikiToLearn

Authored by crisbal on Oct 12 2016, 6:47 AM.

Description

Merged Changes

CommitAuthorDetailsCommitted
adb103303238atundo
Merge branch 'master' of https://github.com/WikiToLearn/WikiToLearn 
Oct 11 2016
ac46e1e94f9eatundo
Updated WikiToLearnSkind and CourseEditor 
Oct 11 2016
a4f58e6ee5ebtomaluca
replaced wgUseInstantCommons with wgForeignFileRepos 
Oct 11 2016
5d628a0dfe4ctomaluca
Hack about cookies: remember me and logout works cross-domains 
Oct 11 2016
8a3dbe86a577tomaluca
removed oldpoolwiki file pool 
Oct 11 2016