Ah, that's a good point! Sorry, stupid error.
I think I did it now - adding to mediawiki-vagrant/puppet/hieradata/common.yaml (I hope that is the right approach).
Now I get the following error, which seems unrelated to my extension. Hm.
Apr 17 21:48:57 mediawiki-vagrant hhvm[29575]: #033[0m#033[22;31m[Mon Apr 17 21:48:57 2017] [hphp] [29575:7ff81f7ff700:1:000002] [] Exception handler threw an object exception: TypeError: Argument 5 passed to pfsockopen() must be an instance of float, int given in /vagrant/mediawiki/includes/libs/redis/RedisConnectionPool.php:233
Apr 17 21:48:57 mediawiki-vagrant hhvm[29575]: Stack trace:
Apr 17 21:48:57 mediawiki-vagrant hhvm[29575]: #0 /vagrant/mediawiki/includes/libs/redis/RedisConnectionPool.php(233): Redis->pconnect()
Apr 17 21:48:57 mediawiki-vagrant hhvm[29575]: #1 /vagrant/mediawiki/includes/libs/objectcache/RedisBagOStuff.php(354): RedisConnectionPool->getConnection()
Apr 17 21:48:57 mediawiki-vagrant hhvm[29575]: #2 /vagrant/mediawiki/includes/libs/objectcache/RedisBagOStuff.php(151): RedisBagOStuff->getConnection()
Apr 17 21:48:57 mediawiki-vagrant hhvm[29575]: #3 /vagrant/mediawiki/includes/libs/objectcache/WANObjectCache.php(304): RedisBagOStuff->getMulti()
Apr 17 21:48:57 mediawiki-vagrant hhvm[29575]: #4 /vagrant/mediawiki/includes/libs/objectcache/WANObjectCache.php(251): WANObjectCache->getMulti()
Apr 17 21:48:57 mediawiki-vagrant hhvm[29575]: #5 /vagrant/mediawiki/includes/libs/objectcache/WANObjectCache.php(948): WANObjectCache->get()
Apr 17 21:48:57 mediawiki-vagrant hhvm[29575]: #6 /vagrant/mediawiki/includes/libs/objectcache/WANObjectCache.php(895): WANObjectCache->doGetWithSetCallback()
Apr 17 21:48:57 mediawiki-vagrant hhvm[29575]: #7 /vagrant/mediawiki/includes/user/User.php(515): WANObjectCache->getWithSetCallback()
Apr 17 21:48:57 mediawiki-vagrant hhvm[29575]: #8 /vagrant/mediawiki/includes/user/User.php(445): User->loadFromCache()
Apr 17 21:48:57 mediawiki-vagrant hhvm[29575]: #9 /vagrant/mediawiki/includes/user/User.php(409): User->loadFromId()
Apr 17 21:48:57 mediawiki-vagrant hhvm[29575]: #10 /vagrant/mediawiki/includes/session/UserInfo.php(88): User->load()
Apr 17 21:48:57 mediawiki-vagrant hhvm[29575]: #11 /vagrant/mediawiki/includes/session/CookieSessionProvider.php(119): MediaWiki\Session\UserInfo::newFromId()
Apr 17 21:48:57 mediawiki-vagrant hhvm[29575]: #12 /vagrant/mediawiki/includes/session/SessionManager.php(487): MediaWiki\Session\CookieSessionProvider->provideSessionInfo()
Apr 17 21:48:57 mediawiki-vagrant hhvm[29575]: #13 /vagrant/mediawiki/includes/session/SessionManager.php(190): MediaWiki\Session\SessionManager->getSessionInfoForRequest()
Apr 17 21:48:57 mediawiki-vagrant hhvm[29575]: #14 /vagrant/mediawiki/includes/WebRequest.php(735): MediaWiki\Session\SessionManager->getSessionForRequest()
Apr 17 21:48:57 mediawiki-vagrant hhvm[29575]: #15 /vagrant/mediawiki/includes/user/User.php(1143): WebRequest->getSession()
Apr 17 21:48:57 mediawiki-vagrant hhvm[29575]: #16 /vagrant/mediawiki/includes/user/User.php(384): User->loadDefaults()
Apr 17 21:48:57 mediawiki-vagrant hhvm[29575]: #17 /vagrant/mediawiki/includes/user/User.php(5225): User->load()
Apr 17 21:48:57 mediawiki-vagrant hhvm[29575]: #18 /vagrant/mediawiki/includes/user/User.php(2847): User->loadOptions()
Apr 17 21:48:57 mediawiki-vagrant hhvm[29575]: #19 /vagrant/mediawiki/includes/context/RequestContext.php(364): User->getOption()
Apr 17 21:48:57 mediawiki-vagrant hhvm[29575]: #20 /vagrant/mediawiki/includes/Message.php(380): RequestContext->getLanguage()
Apr 17 21:48:57 mediawiki-vagrant hhvm[29575]: #21 /vagrant/mediawiki/includes/Message.php(1257): Message->getLanguage()
Apr 17 21:48:57 mediawiki-vagrant hhvm[29575]: #22 /vagrant/mediawiki/includes/Message.php(842): Message->fetchMessage()
Apr 17 21:48:57 mediawiki-vagrant hhvm[29575]: #23 /vagrant/mediawiki/includes/Message.php(934): Message->toString()
Apr 17 21:48:57 mediawiki-vagrant hhvm[29575]: #24 /vagrant/mediawiki/includes/exception/MWExceptionRenderer.php(244): Message->text()
Apr 17 21:48:57 mediawiki-vagrant hhvm[29575]: #25 /vagrant/mediawiki/includes/exception/MWExceptionRenderer.php(179): MWExceptionRenderer::msg()
Apr 17 21:48:57 mediawiki-vagrant hhvm[29575]: #26 /vagrant/mediawiki/includes/exception/MWExceptionRenderer.php(50): MWExceptionRenderer::reportHTML()
Apr 17 21:48:57 mediawiki-vagrant hhvm[29575]: #27 /vagrant/mediawiki/includes/exception/MWExceptionHandler.php(74): MWExceptionRenderer::output()
Apr 17 21:48:57 mediawiki-vagrant hhvm[29575]: #28 /vagrant/mediawiki/includes/exception/MWExceptionHandler.php(140): MWExceptionHandler::report()
Apr 17 21:48:57 mediawiki-vagrant hhvm[29575]: #29 (): MWExceptionHandler::handleException()
Apr 17 21:48:57 mediawiki-vagrant hhvm[29575]: #30 {main}
On Mon, Apr 17, 2017 at 2:07 PM Gergo Tisza gtisza@wikimedia.org wrote:
On Mon, Apr 17, 2017 at 8:35 PM, Denny Vrandečić vrandecic@gmail.com wrote:
Value returned from function f() must be of type int, int given
Have you enabled PHP7 mode https://docs.hhvm.com/hhvm/configuration/INI-settings#php-7-settings? _______________________________________________ Wikitech-l mailing list Wikitech-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikitech-l