Thread:Extension talk:Widgets/php update mediawiki 1.23