K Framework

Data from K Framework can no longer be collected. It is marked defunct.
This may be due to one (or more) of the following reasons:

This wiki site is either defunct (dead), private, the API was disabled, the generator used does not support an API (MW < 1.8.x), or does no longer use MediaWiki.

K Framework, a wiki website powered by MediaWiki

Overview

Name:

K Framework

Main URL:

http://www.kframework.org/index.php/Main Page

Description:

This wiki site has no description, please add a description.

Founded on:

2011/11/11 09:39:41 PM
5,311 days old; the 14,378 wiki site by date founded; the 23,910 wiki site added to WikiApiary.

Tags (topics):

This wiki site has no subject or topic tags, please add tags.

Farm:

This wiki site is not hosted by a known wiki farm.
If you are aware of a farm it is hosted by, please add its farm.

Network

K Framework/Libraries

HTTP server
IP address	185.199.108.153, 185.199.109.153, 185.199.110.153, 185.199.111.153
Reverse lookup	cdn-185-199-108-153.github.com, cdn-185-199-109-153.github.com, cdn-185-199-110-153.github.com, cdn-185-199-111-153.github.com
Netblock organization

The "_geo" type of this property is invalid

General

MediaWiki version:	Generator:MediaWiki 1.20.5 (1.20.5) (Git hash: c66ac316d1a4c00a2f5169348c3c50133cdee383)
Time zone:	America/Chicago
Time offset:
Sitename:	K Framework
Rights:
PHP server API:	apache2handler
PHP version:	5.3.3 (5.3)
Language:	English (English)
Database type:	mysql
Database version:	5.1.73 (5.1)
Wiki ID:	wikidb-k_
Max upload size:	100 MB
Server:	http://www.kframework.org
Article path:	/index.php/$1
Interwiki URL:	http://www.kframework.org/index.php/$1
Settings:	Write API True

Usage

General statistics

Users
Total registered users:	15
Current active users:	0
Administrators:	7
Contents
Article pages:	69
Images:	7
Total pages (AllPages):	118
Index:	2
Activity
Total edits:	1861
Jobs:	0
Total page views:	3662845

Last updated: 2020-11-16 22:29:05

Extensions

K Framework uses the following 10 extensions (by version number, date and time, Git hash):

• GeSHiCodeTag (unknown)
• ImageMap (unknown)
• Interwiki (2.2 20120425)
• Lockdown (unknown)
• Manage Paper Authors (unknown)
• Manage Paper Categories (unknown)
• Manage Papers (unknown)
• Math (1.0)
• Replace Text (0.9.7)
• SyntaxHighlight (2008-02-27)

Skins

K Framework uses the following 9 skin(s):

• Chick
• CologneBlue
• Modern
• MonoBook
• MySkin
• Nostalgia
• Simple
• Standard
• Vector

Notifications

K Framework has 0 notification(s). So far no notification on WikiApiary has been requested for this wiki website.

Add a notification

Settings

Collection URLs

API: http://kframework.org/api.php

Identifiers

ID

170487

Bot segment

27

Day segment

2

Hour segment

15

Operators

Audited:

This wiki site was last audited on 2023/05/01 09:24:51 AM

Flags:

Active:

Yes

+defunct — this wiki website has been marked as defunct.

Collecting

+general +extensions +skins +statistics (via API)

Check every:

240 minutes

Edit index

not available

Pages change

0%

Users change

0

Admin ratio

0

Open chart new window