1. 01 Sep, 2018 2 commits
    • rgaudin's avatar
      Updated CHANGELOG · b0d65972
      rgaudin authored
      b0d65972
    • rgaudin's avatar
      Using a packaged mediawiki with extensions · 3a61b33d
      rgaudin authored
      add_mw_extension script uses mediawiki API
      mediawiki API does not exposes deprecated extensions
      deprecation is based on latest mediawiki available
      At this time, we are une 1.31 while latest is 1.32
      so API does not respond for MwEmbedSupport extension
      3a61b33d
  2. 31 Aug, 2018 4 commits
  3. 28 Aug, 2018 3 commits
  4. 27 Aug, 2018 3 commits
  5. 26 Aug, 2018 1 commit
  6. 24 Aug, 2018 3 commits
  7. 22 Aug, 2018 3 commits
  8. 20 Aug, 2018 8 commits
  9. 14 Aug, 2018 1 commit
    • rgaudin's avatar
      Fixed #202: JSON failed to save on Windows · 7c4a818d
      rgaudin authored
      edupi_resources is saved either as-is or as a relative path depending on it being an URL or not.
      If it is not set, it should be saved as None and not check for it being remote or not.
      7c4a818d
  10. 13 Aug, 2018 1 commit
  11. 12 Aug, 2018 2 commits
  12. 02 Aug, 2018 9 commits