Opened 10 years ago

Closed 9 years ago

#2208 closed enhancement (fixed)

Mediawiki.org

Reported by: pmarquesmota Owned by: schoen
Priority: Medium Milestone:
Component: HTTPS Everywhere/EFF-HTTPS Everywhere Version:
Severity: Keywords:
Cc: Actual Points:
Parent ID: Points:
Reviewer: Sponsor:

Description

In the file Wikipedia.xml, the following should be added to support mediawiki.org:

<rule from="^http://(www\.)?mediawiki\.org/wiki/"

to="https://secure.wikimedia.org/wikipedia/mediawiki/wiki/"/>

Child Tickets

Change History (2)

comment:1 Changed 10 years ago by pde

Owner: changed from pde to schoen
Status: newassigned

comment:2 Changed 9 years ago by pde

Resolution: fixed
Status: assignedclosed

Fixed in git master.

Note: See TracTickets for help on using tickets.