salve a tutti

Ho installato la libreria pthreads, messo tutte le dll al posto giusto, aggiunta la riga di avvio dell estensione al file php.ini, ma quando cerco di estendere la classe thread, questa non viene trovata. Quindi deduco che ci sia qualche problema. Ho cercato tutte le possibili guide su internet, e tutte dicono di verificare che ci sia aggiunta quella riga al file php.ini, ma niente. A me non va. Altri che hanno lo stesso problema, non hanno avusto risposte.

OS: win 10
php: 7.1.5