mediawiki-extensions-Echo/maintenance
Andrew Garrett 4ae8929ebe Add a maintenance script to convert MediaWiki watchlists into Echo subscriptions
Change-Id: I63f5cc2fccaa43becc6b1c1f88633eb2f9ec38f1
2012-06-08 15:32:14 +10:00
..
convertWatchlists.php Add a maintenance script to convert MediaWiki watchlists into Echo subscriptions 2012-06-08 15:32:14 +10:00