MediaWiki extensions (do not use unless it contains the file "stable.txt")