Doc Editor - Todo Before release

Hi Philip, KSchan, Just some news about the documentation editor. I try to find some time to work hard on it. Not so simple to find some.... Here is what I want to do before we can consider put it into a production mode : * Compilation status : Need to review this processus * Review the commit process too. We must find a way to wait for the end of onSuccessCommit method. * Log Message on commit : I found a way to allow multi-lines. Just found time to do it. * Add a tab to display information when we start the "refresh data" processus. So we can view if there is any error * Implement the direct access with a format like "...en/function.strrchr.php" Best, Yannick