PS: Will give more consideration to whether we can avoid serializing the data.
Re using JSON instead, fine - I wasn't aware of those issues. -- You received this bug notification because you are a member of Mahara Contributors, which is subscribed to Mahara. Matching subscriptions: Subscription for all Mahara Contributors -- please ask on #mahara-dev or mahara.org forum before editing or unsubscribing it! https://bugs.launchpad.net/bugs/1157543 Title: Record page editing history Status in Mahara ePortfolio: In Progress Bug description: I'd like to "dogfood" Mahara's developer documentation by moving it from Mediawiki to the Mahara platform itself, probably as group pages so it could still be edited by many people. One of the features that is lacking to make this feasible, though, is having an edit history. The wiki allows us to keep track of who made what edits, and to revert to older versions if necessary. So, I'd like to see Mahara gain the ability to keep track of a page's edit history. At a minimum it needs: 1. Who made changes, at what time 2. What the page looked like at each revision 3. Ability to revert the page to a previous version Also good would be: 4. Ability to "diff" versions and highlight what changed 5. Comments that go in the history log 6. "Publish" ability (including publishing at a later time/date) 7. Versioning file attachments, see also https://bugs.launchpad.net/mahara/+bug/548195 To manage notifications about this bug go to: https://bugs.launchpad.net/mahara/+bug/1157543/+subscriptions _______________________________________________ Mailing list: https://launchpad.net/~mahara-contributors Post to : mahara-contributors@lists.launchpad.net Unsubscribe : https://launchpad.net/~mahara-contributors More help : https://help.launchpad.net/ListHelp
