Thread:Extension talk:Zend Search Lucene for MediaWiki/Undefined Method User::getOptions()