SessionManager: Ignore Session object destruction during global shutdown
[mediawiki.git] / includes / 
tree7f6d39c3ad447adf7ab1559b38211f363a58980a
drwxr-xr-x   ..
-rw-r--r-- 14 .htaccess
-rw-r--r-- 4127 AjaxDispatcher.php
-rw-r--r-- 8350 AjaxResponse.php
-rw-r--r-- 9263 AuthPlugin.php
-rw-r--r-- 3505 AutoLoader.php
-rw-r--r-- 6934 Autopromote.php
-rw-r--r-- 42051 Block.php
-rw-r--r-- 9670 Category.php
-rw-r--r-- 6357 CategoryFinder.php
-rw-r--r-- 22457 CategoryViewer.php
-rw-r--r-- 256413 DefaultSettings.php
-rw-r--r-- 9417 Defines.php
-rw-r--r-- 1942 DeprecatedGlobal.php
-rw-r--r-- 2515 DerivativeRequest.php
-rw-r--r-- 8906 DummyLinker.php
-rw-r--r-- 132449 EditPage.php
-rw-r--r-- 1319 EventRelayerGroup.php
-rw-r--r-- 5747 FauxRequest.php
-rw-r--r-- 10830 Feed.php
-rw-r--r-- 8786 FeedUtils.php
-rw-r--r-- 12061 FileDeleteForm.php
-rw-r--r-- 5485 ForkController.php
-rw-r--r-- 11341 FormOptions.php
-rw-r--r-- 11001 GitInfo.php
-rw-r--r-- 109237 GlobalFunctions.php
-rw-r--r-- 16534 HistoryBlob.php
-rw-r--r-- 6590 Hooks.php
-rw-r--r-- 33832 Html.php
-rw-r--r-- 1015 HtmlFormatter.php
-rw-r--r-- 32099 HttpFunctions.php
-rw-r--r-- 5004 Licenses.php
-rw-r--r-- 6219 LinkFilter.php
-rw-r--r-- 725 LinkTarget.php
-rw-r--r-- 77371 Linker.php
-rw-r--r-- 1993 ListToggle.php
-rw-r--r-- 14092 MWNamespace.php
-rw-r--r-- 12628 MWTimestamp.php
-rw-r--r-- 15478 MagicWord.php
-rw-r--r-- 8050 MagicWordArray.php
-rw-r--r-- 30590 MediaWiki.php
-rw-r--r-- 4941 MediaWikiServices.php
-rw-r--r-- 746 MediaWikiVersionFetcher.php
-rw-r--r-- 10628 MergeHistory.php
-rw-r--r-- 31675 Message.php
-rw-r--r-- 35786 MimeMagic.php
-rw-r--r-- 17926 MovePage.php
-rw-r--r-- 2077 NoLocalSettings.php
-rw-r--r-- 6341 OutputHandler.php
-rw-r--r-- 123440 OutputPage.php
-rw-r--r-- 7011 PHPVersionCheck.php
-rw-r--r-- 1066 PHPVersionError.php
-rw-r--r-- 8489 PageProps.php
-rw-r--r-- 12780 PathRouter.php
-rw-r--r-- 52186 Preferences.php
-rw-r--r-- 11277 PrefixSearch.php
-rw-r--r-- 19953 ProtectionForm.php
-rw-r--r-- 51788 Revision.php
-rw-r--r-- 9246 RevisionList.php
-rw-r--r-- 57668 Sanitizer.php
-rw-r--r-- 3144 ServiceWiring.php
drwxr-xr-x - Services
-rw-r--r-- 27016 Setup.php
-rw-r--r-- 18876 SiteConfiguration.php
-rw-r--r-- 9967 SiteStats.php
-rw-r--r-- 15329 Status.php
-rw-r--r-- 6446 StreamFile.php
-rw-r--r-- 6275 StubObject.php
-rw-r--r-- 6624 TemplateParser.php
-rw-r--r-- 142278 Title.php
-rw-r--r-- 1878 TitleArray.php
-rw-r--r-- 2001 TitleArrayFromResult.php
-rw-r--r-- 6376 WatchedItem.php
-rw-r--r-- 26263 WatchedItemStore.php
-rw-r--r-- 35572 WebRequest.php
-rw-r--r-- 3485 WebRequestUpload.php
-rw-r--r-- 10138 WebResponse.php
-rw-r--r-- 5536 WebStart.php
-rw-r--r-- 8109 WikiMap.php
-rw-r--r-- 27110 Xml.php
-rw-r--r-- 3541 XmlSelect.php
drwxr-xr-x - actions
drwxr-xr-x - api
drwxr-xr-x - cache
drwxr-xr-x - changes
drwxr-xr-x - changetags
drwxr-xr-x - clientpool
drwxr-xr-x - collation
drwxr-xr-x - compat
drwxr-xr-x - composer
drwxr-xr-x - config
drwxr-xr-x - content
drwxr-xr-x - context
drwxr-xr-x - dao
drwxr-xr-x - db
drwxr-xr-x - debug
drwxr-xr-x - deferred
drwxr-xr-x - diff
drwxr-xr-x - exception
drwxr-xr-x - export
drwxr-xr-x - externalstore
drwxr-xr-x - filebackend
drwxr-xr-x - filerepo
drwxr-xr-x - gallery
drwxr-xr-x - htmlform
drwxr-xr-x - import
drwxr-xr-x - installer
drwxr-xr-x - interwiki
drwxr-xr-x - jobqueue
drwxr-xr-x - json
drwxr-xr-x - libs
-rwxr-xr-x 2925 limit.sh
drwxr-xr-x - logging
drwxr-xr-x - mail
drwxr-xr-x - media
-rw-r--r-- 4418 mime.info
-rw-r--r-- 5862 mime.types
drwxr-xr-x - objectcache
drwxr-xr-x - page
drwxr-xr-x - pager
drwxr-xr-x - parser
drwxr-xr-x - password
drwxr-xr-x - poolcounter
drwxr-xr-x - profiler
drwxr-xr-x - rcfeed
drwxr-xr-x - registration
drwxr-xr-x - resourceloader
drwxr-xr-x - revisiondelete
drwxr-xr-x - search
drwxr-xr-x - session
drwxr-xr-x - site
drwxr-xr-x - skins
drwxr-xr-x - specialpage
drwxr-xr-x - specials
drwxr-xr-x - templates
drwxr-xr-x - tidy
drwxr-xr-x - title
drwxr-xr-x - upload
drwxr-xr-x - user
drwxr-xr-x - utils
drwxr-xr-x - widget