| Index: trunk/extensions/Deployment/specials/SpecialExtensions.php |
| — | — | @@ -1,25 +1,15 @@ |
| 2 | 2 | <?php |
| 3 | 3 | |
| 4 | 4 | /** |
| 5 | | - * File holding the SpecialExtensions class. |
| 6 | | - * |
| 7 | | - * @file SpecialExtensions.php |
| 8 | | - * @ingroup Deployment |
| 9 | | - * @ingroup SpecialPage |
| 10 | | - * |
| 11 | | - * @author Jeroen De Dauw |
| 12 | | - */ |
| 13 | | - |
| 14 | | -if ( !defined( 'MEDIAWIKI' ) ) { |
| 15 | | - die( 'Not an entry point.' ); |
| 16 | | -} |
| 17 | | - |
| 18 | | -/** |
| 19 | 5 | * A special page that allows browing and searching through installed extensions. |
| 20 | 6 | * Based on Special:Version. |
| 21 | 7 | * |
| 22 | 8 | * @since 0.1 |
| 23 | 9 | * |
| | 10 | + * @file SpecialExtensions.php |
| | 11 | + * @ingroup Deployment |
| | 12 | + * @ingroup SpecialPage |
| | 13 | + * |
| 24 | 14 | * @author Jeroen De Dauw |
| 25 | 15 | */ |
| 26 | 16 | class SpecialExtensions extends SpecialPage { |
| Index: trunk/extensions/Deployment/specials/SpecialUpdate.php |
| — | — | @@ -1,21 +1,11 @@ |
| 2 | 2 | <?php |
| 3 | 3 | |
| 4 | 4 | /** |
| 5 | | - * File holding the SpecialUpdate class. |
| 6 | | - * |
| | 5 | + * A special page that allows checking for updates for both MediaWiki itself and extensions. |
| | 6 | + * |
| 7 | 7 | * @file SpecialUpdate.php |
| 8 | 8 | * @ingroup Deployment |
| 9 | 9 | * @ingroup SpecialPage |
| 10 | | - * |
| 11 | | - * @author Jeroen De Dauw |
| 12 | | - */ |
| 13 | | - |
| 14 | | -if ( !defined( 'MEDIAWIKI' ) ) { |
| 15 | | - die( 'Not an entry point.' ); |
| 16 | | -} |
| 17 | | - |
| 18 | | -/** |
| 19 | | - * A special page that allows checking for updates for both MediaWiki itself and extensions. |
| 20 | 10 | * |
| 21 | 11 | * @author Jeroen De Dauw |
| 22 | 12 | */ |
| Index: trunk/extensions/Deployment/specials/SpecialInstall.php |
| — | — | @@ -1,21 +1,11 @@ |
| 2 | 2 | <?php |
| 3 | 3 | |
| 4 | 4 | /** |
| 5 | | - * File holding the SpecialInstall class. |
| 6 | | - * |
| | 5 | + * A special page that allows browing and searching through extensions that are in the connected extension repository. |
| | 6 | + * |
| 7 | 7 | * @file SpecialInstall.php |
| 8 | 8 | * @ingroup Deployment |
| 9 | 9 | * @ingroup SpecialPage |
| 10 | | - * |
| 11 | | - * @author Jeroen De Dauw |
| 12 | | - */ |
| 13 | | - |
| 14 | | -if ( !defined( 'MEDIAWIKI' ) ) { |
| 15 | | - die( 'Not an entry point.' ); |
| 16 | | -} |
| 17 | | - |
| 18 | | -/** |
| 19 | | - * A special page that allows browing and searching through extensions that are in the connected extension repository. |
| 20 | 10 | * |
| 21 | 11 | * @author Jeroen De Dauw |
| 22 | 12 | */ |
| Index: trunk/extensions/Deployment/specials/SpecialDashboard.php |
| — | — | @@ -1,21 +1,11 @@ |
| 2 | 2 | <?php |
| 3 | 3 | |
| 4 | 4 | /** |
| 5 | | - * File holding the SpecialDashboard class. |
| 6 | | - * |
| | 5 | + * A special page that serves as dashboard for administrative tasks related to deployment. |
| | 6 | + * |
| 7 | 7 | * @file SpecialDashboard.php |
| 8 | 8 | * @ingroup Deployment |
| 9 | 9 | * @ingroup SpecialPage |
| 10 | | - * |
| 11 | | - * @author Jeroen De Dauw |
| 12 | | - */ |
| 13 | | - |
| 14 | | -if ( !defined( 'MEDIAWIKI' ) ) { |
| 15 | | - die( 'Not an entry point.' ); |
| 16 | | -} |
| 17 | | - |
| 18 | | -/** |
| 19 | | - * A special page that serves as dashboard for administrative tasks related to deployment. |
| 20 | 10 | * |
| 21 | 11 | * @author Jeroen De Dauw |
| 22 | 12 | */ |