Thread:Extension talk:Scribunto/LuaSandbox under HHVM/reply (3)

The ini syntax for loading extensions in HHVM is a bit different than the traditional Zend PHP5 syntax. In MediaWiki-Vagrant and WMF's production configuration, we use an ini directive that looks like:

tells HHVM the common base directory that you have installed the extensions to. I believe that the array index can be anything that doesn't conflict with another   entry; we chose to use the extension name itself to ensure that there are no conflicts.