Skip to main content

Public

Project privacy set to public. By default, its content is available to everyone (authenticated or not). Please note that more restrictive permissions might exist on some items.

    •  
      request #5275 Error on mediawiki search
    Actions
    Infos
    #5275
    Manuel Vacelet (vaceletm)
    2013-10-03 16:33
    2013-10-03 16:20
    5430
    Details
    Error on mediawiki search
    Top right search select box show mediawiki even when it's not available
    Mediawiki
    Empty
    Empty
    • [ ] enhancement
    • [ ] internal improvement
    Empty
    Stage
    Yannis ROSSETTO (rossettoy)
    Closed
    2013-10-03
    Attachments
    Artifact links
    Empty
    Empty
    References
    Referenced by request #5275

    Other

    gerrit #1031
    Display settings

    Follow-ups

    User avatar
    Manuel Vacelet (vaceletm)2013-10-03 16:33
    Merged in 6.5.99.25
    • Status changed from Under implementation to Closed
    • Close date set to 2013-10-03