| Index: trunk/extensions/CentralAuth/WikiSet.php |
| — | — | @@ -9,6 +9,9 @@ |
| 10 | 10 | private $mName; // Display name of the group |
| 11 | 11 | private $mType; // Opt-in based or opt-out based |
| 12 | 12 | private $mWikis; // List of wikis |
| | 13 | + // This property is used, don't remove it |
| | 14 | + // (That means you Reedy) |
| | 15 | + private $mVersion = self::VERSION; // Caching purposes |
| 13 | 16 | |
| 14 | 17 | static $mCacheVars = array( |
| 15 | 18 | 'mId', |