Werdna has submitted this change and it was merged. Change subject: Remove lib directory, useless ......................................................................
Remove lib directory, useless Change-Id: Ie9d53b6e32f42d39badeaefcbb66c3f0f93719ba --- D lib/autoload.php D lib/oojs-ui 2 files changed, 0 insertions(+), 38 deletions(-) Approvals: Werdna: Verified; Looks good to me, approved diff --git a/lib/autoload.php b/lib/autoload.php deleted file mode 100644 index 6533a04..0000000 --- a/lib/autoload.php +++ /dev/null @@ -1,38 +0,0 @@ -<?php -// This file is generated by /vagrant/mediawiki/extensions/OOUIPlayground/lib, do not adjust manually - -global $wgAutoloadClasses; - -$wgAutoloadClasses += array( - 'OOUI\\ButtonElement' => __DIR__ . '/oojs-ui/php/elements/ButtonElement.php', - 'OOUI\\ButtonGroupWidget' => __DIR__ . '/oojs-ui/php/widgets/ButtonGroupWidget.php', - 'OOUI\\ButtonInputWidget' => __DIR__ . '/oojs-ui/php/widgets/ButtonInputWidget.php', - 'OOUI\\ButtonWidget' => __DIR__ . '/oojs-ui/php/widgets/ButtonWidget.php', - 'OOUI\\CheckboxInputWidget' => __DIR__ . '/oojs-ui/php/widgets/CheckboxInputWidget.php', - 'OOUI\\Element' => __DIR__ . '/oojs-ui/php/Element.php', - 'OOUI\\ElementMixin' => __DIR__ . '/oojs-ui/php/ElementMixin.php', - 'OOUI\\Exception' => __DIR__ . '/oojs-ui/php/Exception.php', - 'OOUI\\FieldLayout' => __DIR__ . '/oojs-ui/php/layouts/FieldLayout.php', - 'OOUI\\FieldsetLayout' => __DIR__ . '/oojs-ui/php/layouts/FieldsetLayout.php', - 'OOUI\\FlaggedElement' => __DIR__ . '/oojs-ui/php/elements/FlaggedElement.php', - 'OOUI\\FormLayout' => __DIR__ . '/oojs-ui/php/layouts/FormLayout.php', - 'OOUI\\GridLayout' => __DIR__ . '/oojs-ui/php/layouts/GridLayout.php', - 'OOUI\\GroupElement' => __DIR__ . '/oojs-ui/php/elements/GroupElement.php', - 'OOUI\\HtmlSnippet' => __DIR__ . '/oojs-ui/php/HtmlSnippet.php', - 'OOUI\\IconElement' => __DIR__ . '/oojs-ui/php/elements/IconElement.php', - 'OOUI\\IconWidget' => __DIR__ . '/oojs-ui/php/widgets/IconWidget.php', - 'OOUI\\IndicatorElement' => __DIR__ . '/oojs-ui/php/elements/IndicatorElement.php', - 'OOUI\\IndicatorWidget' => __DIR__ . '/oojs-ui/php/widgets/IndicatorWidget.php', - 'OOUI\\InputWidget' => __DIR__ . '/oojs-ui/php/widgets/InputWidget.php', - 'OOUI\\LabelElement' => __DIR__ . '/oojs-ui/php/elements/LabelElement.php', - 'OOUI\\LabelWidget' => __DIR__ . '/oojs-ui/php/widgets/LabelWidget.php', - 'OOUI\\Layout' => __DIR__ . '/oojs-ui/php/Layout.php', - 'OOUI\\MediaWikiTheme' => __DIR__ . '/oojs-ui/php/themes/MediaWikiTheme.php', - 'OOUI\\PanelLayout' => __DIR__ . '/oojs-ui/php/layouts/PanelLayout.php', - 'OOUI\\RadioInputWidget' => __DIR__ . '/oojs-ui/php/widgets/RadioInputWidget.php', - 'OOUI\\Tag' => __DIR__ . '/oojs-ui/php/Tag.php', - 'OOUI\\TextInputWidget' => __DIR__ . '/oojs-ui/php/widgets/TextInputWidget.php', - 'OOUI\\Theme' => __DIR__ . '/oojs-ui/php/Theme.php', - 'OOUI\\TitledElement' => __DIR__ . '/oojs-ui/php/elements/TitledElement.php', - 'OOUI\\Widget' => __DIR__ . '/oojs-ui/php/Widget.php', -); diff --git a/lib/oojs-ui b/lib/oojs-ui deleted file mode 160000 index 4983a2e..0000000 --- a/lib/oojs-ui +++ /dev/null -Subproject commit 4983a2e7ad1632c16e5b22526e3ee7b87285f4fa -- To view, visit https://gerrit.wikimedia.org/r/184894 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ie9d53b6e32f42d39badeaefcbb66c3f0f93719ba Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/extensions/OOUIPlayground Gerrit-Branch: master Gerrit-Owner: Werdna <agarr...@wikimedia.org> Gerrit-Reviewer: Werdna <agarr...@wikimedia.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits