Split interface from WatchedItemStore
authoraddshore <addshorewiki@gmail.com>
Mon, 20 Mar 2017 12:57:37 +0000 (12:57 +0000)
committerWMDE-Fisch <christoph.jauera@wikimedia.de>
Tue, 14 Nov 2017 18:27:03 +0000 (19:27 +0100)
commit34dad252270495d268e6aaab01af89915f5b3e92
tree531a8d90973e3df11857c88dc07298876ce882c4
parent85b49b0b73b470593ed2429d846e530efd60549b
Split interface from WatchedItemStore

Change-Id: Ifb029f5c79ee4865ee225d4f44d3354d95014cce
autoload.php
includes/MediaWikiServices.php
includes/watcheditem/WatchedItemStore.php
includes/watcheditem/WatchedItemStoreInterface.php [new file with mode: 0644]