Remove use of deprecated OutputPage::developerRequired()
authorRob Church <robchurch@users.mediawiki.org>
Mon, 10 Jul 2006 08:36:16 +0000 (08:36 +0000)
committerRob Church <robchurch@users.mediawiki.org>
Mon, 10 Jul 2006 08:36:16 +0000 (08:36 +0000)
includes/SpecialLockdb.php
includes/SpecialUnlockdb.php

index 38d715b..ee72c65 100644 (file)
 function wfSpecialLockdb() {
        global $wgUser, $wgOut, $wgRequest;
 
-       if ( ! $wgUser->isAllowed('siteadmin') ) {
-               $wgOut->developerRequired();
+       if( !$wgUser->isAllowed( 'siteadmin' ) ) {
+               $wgOut->permissionRequired( 'siteadmin' );
                return;
        }
+
        $action = $wgRequest->getVal( 'action' );
        $f = new DBLockForm();
 
index a10d1ee..7808ac5 100644 (file)
 function wfSpecialUnlockdb() {
        global $wgUser, $wgOut, $wgRequest;
 
-       if ( ! $wgUser->isAllowed('siteadmin') ) {
-               $wgOut->developerRequired();
+       if( !$wgUser->isAllowed( 'siteadmin' ) ) {
+               $wgOut->permissionRequired( 'siteadmin' );
                return;
        }
+
        $action = $wgRequest->getVal( 'action' );
        $f = new DBUnlockForm();