Thomas Gries
Thomas Gries
Unregistered User
Groups: Anyone
Posts in Wikimedia
123456 ... 19
Show   Total: 364 items
Date Subject Count Location
Windows users should upgrade to the new WinSCP 5.17 release 0 replies Wikipedia Developers
Re: New extension: "OnlyRecentRecentChanges" 0 replies Wikipedia Developers
New extension: "OnlyRecentRecentChanges" 2 replies Wikipedia Developers
Those using PuTTY as SSH client: upgrade to PuTTY 0.63 now 0 replies Wikipedia Developers
Re: no TLS 1.1 and 1.2 support 8 replies Wikipedia Developers
Re: Proposal regarding a distinct Extension infobox status color for status "unmaintained" 1 reply Wikipedia Developers
[SOLVED] Re: ResourceLoader support question: how to construct a value in CSS from PHP 1 reply Wikipedia Developers
Re: ResourceLoader support question: how to construct a value in CSS from PHP 2 replies Wikipedia Developers
ResourceLoader support question: how to construct a value in CSS from PHP 6 replies Wikipedia Developers
Re: PHP question re. isset( $array['key'][0] ) versus array_key_exists( 0, $array['key'] ) 1 reply Wikipedia Developers
PHP question re. isset( $array['key'][0] ) versus array_key_exists( 0, $array['key'] ) 5 replies Wikipedia Developers
Proposal regarding a distinct Extension infobox status color for status "unmaintained" 3 replies Wikipedia Developers
PHP 5.5.0 released 0 replies Wikipedia Developers
Re: PHP 5.4 (we wish) 0 replies Wikipedia Developers
Question re. Html class : I ran into a problem correctly escaping the $content component 3 replies Wikipedia Developers
Extension:AJAXPoll : new version 1.81 2013-05-26 adds "poll results are only shown for users who have voted" 0 replies Wikipedia Developers
Re: State of MediaWiki's render action (parameter to index.php) 2 replies Wikipedia Developers
Re: New extension: Special:ExtensionStatus (opinions?) 0 replies Wikipedia Developers
Re: New extension: Special:ExtensionStatus (opinions?) 0 replies Wikipedia Developers
Is there something like a gerrit/git "download" statistics overview page? 2 replies Wikipedia Developers
123456 ... 19