Last modified: 2012-08-20 14:16:49 UTC
Page heading comes as Error for not logged in user. Better to change it to a more meaningful heading. Please refer the attached screenshot.
Created attachment 7852 [details] HeadingError
This is the case for all MediaWiki error pages.
Created attachment 9407 [details] Patch to change the header for error pages I propose that for the error pages we have a title like Error: No such special pages, rather than only Error. the patch attached does this. please review it.
The second parameter to prepareErrorPage() could also simply be removed.
Created attachment 9408 [details] second version of patch to provide a better error page title I have modified this patch as suggested to only have one argument for prepareErrorPage, and provide a better error title.
Karun, thank you for the patch. Are you interested in using developer access to directly suggest it into our Git source control system? https://www.mediawiki.org/wiki/Developer_access
Now merged.
For the record: was merged as https://gerrit.wikimedia.org/r/#/c/20530/ . Thanks, Karun & iAlex.