Magnus Manske wrote:
$isRedirect = false ;
if ( trim ( substr ( $s , 0 , 10 ) ) == '#REDIRECT' ) $isRedirect = true ;
This needs to use the keywords so that translations of the "REDIRECT" keyword work as well. Also, the REDIRECT thingie is not supposed to be case-sensitive.
Timwi
Timwi wrote:
Magnus Manske wrote:
$isRedirect = false ;
if ( trim ( substr ( $s , 0 , 10 ) ) == '#REDIRECT' )
$isRedirect = true ;
This needs to use the keywords so that translations of the "REDIRECT" keyword work as well. Also, the REDIRECT thingie is not supposed to be case-sensitive.
My, this has all become complicated since the old days ;-)
I'll fix it tonight.
Magnus
wikitech-l@lists.wikimedia.org