•  
      request #12106 Move to GeSHI v1.0.9.0
    Infos
    #12106
    Thomas Gerbet (tgerbet)
    2018-08-13 13:43
    2018-08-10 16:22
    12785
    Details
    Move to GeSHI v1.0.9.0
    We have 2 things relying on GeSHI: the Git plugin and the Mediawiki extension SyntaxHighlight.

    The Git plugin works fine with GeSHI v1.0.9.0, the Mediawiki extension does not (see request #11843).

    We need to update this lib if we want to have the PHP 7 support.
    Other
    Empty
    Empty
    • [ ] enhancement
    • [ ] internal improvement
    Empty
    Stage
    Empty
    Closed
    2018-08-13
    Attachments
    Empty
    References

    Follow-ups

    User avatar
    Thomas Gerbet (tgerbet)2018-08-10 17:44
    Patches are under review:
    - pr #77 for the Mediawiki update, we need it first to release the updated package
    - gerrit #12289 for the bump of GeSHI in the Git plugin and to force the usage of the updated Mediawiki package

    • Status changed from Under implementation to Under review